Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Recursive record unification errors, for more detail | 2010-12-23 | |
* | :::_ notation; switch to TooDeep error message | 2010-10-10 | |
* | Hopeful fix for the Great Unification Bug | 2010-10-10 | |
* | Better record summary error messages; more tweaking SQL usability | 2009-12-13 | |
* | Better subSgn error locations | 2009-10-15 | |
* | Switch to Maranget's pattern exhaustiveness algorithm | 2009-05-23 | |
* | Enhance table sig item support and get demo compiling again | 2009-04-07 | |
* | Start of kind polymorphism, up to the point where demo/hello elaborates with ... | 2009-02-22 | |
* | Sum prose | 2008-10-21 | |
* | Crud supports INSERT | 2008-09-14 | |
* | foldTR2 | 2008-09-13 |