Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Metaform demos, minus prose | 2008-10-23 | |
* | Fix nasty de Bruijn substitution bug; TcSum demo | 2008-10-23 | |
* | Infering sum rows | 2008-10-21 | |
* | Sum demo, minus inference of {Unit}s | 2008-10-21 | |
* | Sql demo | 2008-10-21 | |
* | Rec demo | 2008-10-21 | |
* | Form example | 2008-10-21 | |
* | New implicit argument handling | 2008-10-21 | |
* | ord_float and ord_bool | 2008-10-21 | |
* | lt, le working for int | 2008-10-21 | |
* | num_float | 2008-10-21 | |
* | num working for int | 2008-10-21 | |
* | Improving indentation of XML after antiquote | 2008-10-16 | |
* | lform -> form | 2008-10-14 | |
* | Syntax highlighting for embedded XML | 2008-10-14 | |
* | Basis and Top syntax-highlight, indent, parse, and type-check | 2008-10-12 | |
* | top.urs indents and type-checks with new twiddle syntax | 2008-10-12 | |
* | Basis indents and type-checks with new twiddle syntax | 2008-10-12 | |
* | Use checkbox in CRUD example | 2008-10-04 | |
* | Merge CDisjoint and TDisjoint | 2008-10-04 | |
* | Crud completed | 2008-09-14 | |
* | Crud update form | 2008-09-14 | |
* | Crud supports INSERT | 2008-09-14 | |
* | SQL sequences | 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 list works | 2008-09-11 | |
* | Crud listing IDs | 2008-09-11 | |
* | Scratch that change.... | 2008-09-07 | |
* | Remove need to mention table name in expressions for UPDATE and DELETE | 2008-09-07 | |
* | Parsing UPDATE | 2008-09-07 | |
* | Parsing INSERT | 2008-09-07 | |
* | Elaborated 'update' | 2008-09-07 | |
* | Elaborated 'insert' | 2008-09-07 | |
* | Error-parsing ints | 2008-09-07 | |
* | 'read' type class | 2008-09-07 | |
* | Parsing strings for floats and bools | 2008-09-07 | |
* | Converting string to int | 2008-09-07 | |
* | 'show' type class; htmlification optimizations | 2008-09-07 | |
* | toString for float and bool | 2008-09-07 | |
* | intToString | 2008-09-07 | |
* | 'error' function | 2008-09-07 | |
* | Compiling a parametrized query the inefficient way | 2008-09-02 | |
* | Monoize ASC/DESC | 2008-08-31 | |
* | Monoize relops | 2008-08-31 | |
* | Add 'ne' to 'eq' type class | 2008-08-31 |