Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Combine lib* directories | 2009-01-13 | |
* | Monad type class seems to be working | 2008-12-19 | |
* | Add SQL arithmetic operators | 2008-12-09 | |
* | Tree demo working (and other assorted regressions fixed) | 2008-11-06 | |
* | Tree demo works | 2008-11-06 | |
* | About to begin optimization of recursive transaction functions | 2008-11-06 | |
* | Replace 'with' with '++' | 2008-10-31 | |
* | Time MIN/MAX | 2008-10-30 | |
* | Crud2 demo | 2008-10-23 | |
* | Metaform demos, minus prose | 2008-10-23 | |
* | Infering sum rows | 2008-10-21 | |
* | Sum demo, minus inference of {Unit}s | 2008-10-21 | |
* | New implicit argument handling | 2008-10-21 | |
* | Improving indentation of XML after antiquote | 2008-10-16 | |
* | Syntax highlighting for embedded XML | 2008-10-14 | |
* | Basis and Top syntax-highlight, indent, parse, and type-check | 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 | |
* | Remove unneeded 'rec' in Reduce | 2008-09-13 | |
* | foldTR2 | 2008-09-13 | |
* | Fixed a mind-numbing De Bruijn bug | 2008-09-11 | |
* | Crud listing IDs | 2008-09-11 |