Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |