Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Catch a missed ReduceLocal of field projection annotations | 2010-06-13 | |
| | |||
* | Kind polymorphism through Explify | 2009-02-22 | |
| | |||
* | Separate compilation and automatic basis importation | 2008-06-22 | |
| | |||
* | Explify | 2008-06-19 | |