Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 ↵ | 2009-02-24 | |
| | | | | generation at EDisjoint uses | ||
* | 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 | |