Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |