Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Better subSgn error locations | 2009-10-15 | |
* | Fix a variable capture bug in nested JavaScript; some more list stuff | 2009-06-16 | |
* | Fix a bug in type class enrichment from substructures | 2009-06-16 | |
* | Switch to Maranget's pattern exhaustiveness algorithm | 2009-05-23 | |
* | Improvements while working on Graftid | 2009-05-12 | |
* | More flexible foreign keying | 2009-04-09 | |
* | Made type class system very general; demo compiles | 2009-04-09 | |
* | Enhance table sig item support and get demo compiling again | 2009-04-07 | |
* | Switch to TDisjoint from CDisjoint; still need to implement obligation genera... | 2009-02-24 | |
* | 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 |