Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Tree demo working (and other assorted regressions fixed) | Adam Chlipala | 2008-11-06 | |
* | Tree demo works | Adam Chlipala | 2008-11-06 | |
* | About to begin optimization of recursive transaction functions | Adam Chlipala | 2008-11-06 | |
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 | |
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 | |
* | Monoizing FFI transactions correctly | Adam Chlipala | 2008-11-06 | |
* | Fix some type-class detection | Adam Chlipala | 2008-11-01 | |
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 | |
* | Remove _espec tag; add some tag fields | Adam Chlipala | 2008-10-30 | |
* | Especialize | Adam Chlipala | 2008-10-30 | |
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 | |
* | Time MIN/MAX | Adam Chlipala | 2008-10-30 | |
* | Add time to some type classes | Adam Chlipala | 2008-10-30 | |
* | time type | Adam Chlipala | 2008-10-30 | |
* | Crud2 demo | Adam Chlipala | 2008-10-23 | |
* | Metaform demos, minus prose | Adam Chlipala | 2008-10-23 | |
* | Fix nasty de Bruijn substitution bug; TcSum demo | Adam Chlipala | 2008-10-23 | |
* | Infering sum rows | Adam Chlipala | 2008-10-21 | |
* | Sum demo, minus inference of {Unit}s | Adam Chlipala | 2008-10-21 | |
* | Sql demo | Adam Chlipala | 2008-10-21 | |
* | Rec demo | Adam Chlipala | 2008-10-21 | |
* | Form example | Adam Chlipala | 2008-10-21 | |
* | New implicit argument handling | Adam Chlipala | 2008-10-21 | |
* | ord_float and ord_bool | Adam Chlipala | 2008-10-21 | |
* | lt, le working for int | Adam Chlipala | 2008-10-21 | |
* | num_float | Adam Chlipala | 2008-10-21 | |
* | num working for int | Adam Chlipala | 2008-10-21 | |
* | Improving indentation of XML after antiquote | Adam Chlipala | 2008-10-16 | |
* | lform -> form | Adam Chlipala | 2008-10-14 | |
* | Syntax highlighting for embedded XML | Adam Chlipala | 2008-10-14 | |
* | Basis and Top syntax-highlight, indent, parse, and type-check | Adam Chlipala | 2008-10-12 | |
* | top.urs indents and type-checks with new twiddle syntax | Adam Chlipala | 2008-10-12 | |
* | Basis indents and type-checks with new twiddle syntax | Adam Chlipala | 2008-10-12 | |
* | Use checkbox in CRUD example | Adam Chlipala | 2008-10-04 | |
* | Merge CDisjoint and TDisjoint | Adam Chlipala | 2008-10-04 | |
* | Crud completed | Adam Chlipala | 2008-09-14 | |
* | Crud update form | Adam Chlipala | 2008-09-14 | |
* | Crud supports INSERT | Adam Chlipala | 2008-09-14 | |
* | SQL sequences | Adam Chlipala | 2008-09-14 | |
* | Crud gets column headings | Adam Chlipala | 2008-09-13 | |
* | queryX | Adam Chlipala | 2008-09-13 | |
* | foldTRX2 | Adam Chlipala | 2008-09-13 | |
* | Remove unneeded 'rec' in Reduce | Adam Chlipala | 2008-09-13 | |
* | foldTR2 | Adam Chlipala | 2008-09-13 | |
* | Fixed a mind-numbing De Bruijn bug | Adam Chlipala | 2008-09-11 | |
* | Crud list works | Adam Chlipala | 2008-09-11 | |
* | Crud listing IDs | Adam Chlipala | 2008-09-11 | |
* | Scratch that change.... | Adam Chlipala | 2008-09-07 | |
* | Remove need to mention table name in expressions for UPDATE and DELETE | Adam Chlipala | 2008-09-07 | |
* | Parsing UPDATE | Adam Chlipala | 2008-09-07 |