Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |
| | | | | updated Basis/Top | ||
* | Sum prose | 2008-10-21 | |
| | |||
* | Crud supports INSERT | 2008-09-14 | |
| | |||
* | foldTR2 | 2008-09-13 | |