Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Crud supports INSERT | Adam Chlipala | 2008-09-14 |
* | SQL sequences | Adam Chlipala | 2008-09-14 |
* | foldTR2 | Adam Chlipala | 2008-09-13 |
* | Crud listing IDs | Adam Chlipala | 2008-09-11 |
* | Automatically add table annotations in UPDATE and DELETE | Adam Chlipala | 2008-09-07 |
* | 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 DELETE | Adam Chlipala | 2008-09-07 |
* | Parsing UPDATE | Adam Chlipala | 2008-09-07 |
* | Parsing INSERT | Adam Chlipala | 2008-09-07 |
* | Elaborated 'update' | Adam Chlipala | 2008-09-07 |
* | Elaborated 'insert' | Adam Chlipala | 2008-09-07 |
* | Monoize ASC/DESC | Adam Chlipala | 2008-08-31 |
* | Add 'ne' to 'eq' type class | Adam Chlipala | 2008-08-31 |
* | 'eq' type class | Adam Chlipala | 2008-08-31 |
* | Laconic -> Ur | Adam Chlipala | 2008-08-31 |