Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add (a) CoreM monad, (b) new Annotations feature | simonpj@microsoft.com | 2008-10-30 | 1 | -1/+3 |
* | Improved VectInfo | Manuel M T Chakravarty | 2007-05-08 | 1 | -0/+3 |
* | Rough matches for family instances | Manuel M T Chakravarty | 2006-10-10 | 1 | -8/+10 |
* | Fix up the typechecking of interface files during --make | simonpj@microsoft.com | 2006-10-06 | 1 | -2/+2 |
* | Reorganisation of the source tree | Simon Marlow | 2006-04-07 | 1 | -0/+13 |