Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Crud2 demo | 2008-10-23 | |
* | Metaform demos, minus prose | 2008-10-23 | |
* | Sum demo, minus inference of {Unit}s | 2008-10-21 | |
* | top.urs indents and type-checks with new twiddle syntax | 2008-10-12 | |
* | Merge CDisjoint and TDisjoint | 2008-10-04 | |
* | Crud update form | 2008-09-14 | |
* | Crud supports INSERT | 2008-09-14 | |
* | Crud gets column headings | 2008-09-13 | |
* | queryX | 2008-09-13 | |
* | foldTRX2 | 2008-09-13 | |
* | foldTR2 | 2008-09-13 | |
* | Crud listing IDs | 2008-09-11 |