Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | Adam Chlipala | 2009-04-07 | |
| | | | | lingering problems in row inference) | |||
* | PRIMARY KEY | Adam Chlipala | 2009-04-07 | |
| | ||||
* | UNIQUE constraints | Adam Chlipala | 2009-04-07 | |
| | ||||
* | Type class reductions, but no inclusions yet | Adam Chlipala | 2009-03-26 | |
| | ||||
* | Top.Fold.concat elaborates | Adam Chlipala | 2009-02-24 | |
| | ||||
* | Start of kind polymorphism, up to the point where demo/hello elaborates with ↵ | Adam Chlipala | 2009-02-22 | |
| | | | | updated Basis/Top | |||
* | "Hello world" compiles, after replacing type-level fold with map | Adam Chlipala | 2009-02-21 | |
| | ||||
* | Add CutMulti | Adam Chlipala | 2008-11-11 | |
| | ||||
* | Tree demo works | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Parsing 'let' | Adam Chlipala | 2008-11-01 | |
| | ||||
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 | |
| | ||||
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 | |
| | ||||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 | |
| | ||||
* | num working for int | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Syntax highlighting for embedded XML | Adam Chlipala | 2008-10-14 | |
| | ||||
* | Crud supports INSERT | Adam Chlipala | 2008-09-14 | |
| | ||||
* | SQL sequences | Adam Chlipala | 2008-09-14 | |
| | ||||
* | Unpolyed a polymorphic function of two arguments | Adam Chlipala | 2008-09-11 | |
| | ||||
* | Parsing INSERT | Adam Chlipala | 2008-09-07 | |
| | ||||
* | Monoize ASC/DESC | Adam Chlipala | 2008-08-31 | |
| | ||||
* | Laconic -> Ur | Adam Chlipala | 2008-08-31 | |