Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Library improvements; proper list [un]urlification; remove server-side Server... | 2009-08-09 | |
* | 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 | |
* | "Hello world" compiles, after replacing type-level fold with map | 2009-02-21 | |
* | Optimized ElabOps.subConInCon | 2008-11-27 | |
* | Map distributivity rule in hnormCon | 2008-11-11 | |
* | Merge CDisjoint and TDisjoint | 2008-10-04 | |
* | Crud supports INSERT | 2008-09-14 | |
* | foldTR2 | 2008-09-13 | |
* | Fixed a mind-numbing De Bruijn bug | 2008-09-11 | |
* | Crud list works | 2008-09-11 | |
* | Stub WHERE support | 2008-08-16 | |
* | Non-star SELECT | 2008-08-14 | |
* | Factor some operations into ElabOps | 2008-07-01 |