Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Initializers and setval | 2009-12-13 | |
| | |||
* | Better record summary error messages; more tweaking SQL usability | 2009-12-13 | |
| | |||
* | Fix lexing of string literals in XML; treat EError as impure in MonoReduce | 2009-12-12 | |
| | |||
* | SELECT DISTINCT; eta expansion during Cjrization | 2009-10-06 | |
| | |||
* | && and || | 2009-06-07 | |
| | |||
* | Lexing some more string escape sequences; JS versions of number read; fix ↵ | 2009-06-02 | |
| | | | | problem with signature unification; escape < more often in Jscomp | ||
* | Chars and more string operations | 2009-05-26 | |
| | |||
* | Lexing character entities | 2009-04-30 | |
| | |||
* | A view query works | 2009-04-28 | |
| | |||
* | RIGHT and FULL JOIN | 2009-04-28 | |
| | |||
* | LEFT JOIN | 2009-04-28 | |
| | |||
* | INNER JOIN | 2009-04-28 | |
| | |||
* | style declarations | 2009-04-12 | |
| | |||
* | CHECK constraints | 2009-04-09 | |
| | |||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | 2009-04-07 | |
| | | | | lingering problems in row inference) | ||
* | PRIMARY KEY | 2009-04-07 | |
| | |||
* | UNIQUE constraints | 2009-04-07 | |
| | |||
* | Type class reductions, but no inclusions yet | 2009-03-26 | |
| | |||
* | Top.Fold.concat elaborates | 2009-02-24 | |
| | |||
* | Start of kind polymorphism, up to the point where demo/hello elaborates with ↵ | 2009-02-22 | |
| | | | | updated Basis/Top | ||
* | "Hello world" compiles, after replacing type-level fold with map | 2009-02-21 | |
| | |||
* | Add CutMulti | 2008-11-11 | |
| | |||
* | Tree demo works | 2008-11-06 | |
| | |||
* | Inserted a NULL value | 2008-11-06 | |
| | |||
* | Cookies through elaborate | 2008-11-06 | |
| | |||
* | Parsing 'let' | 2008-11-01 | |
| | |||
* | Replace 'with' with '++' | 2008-10-31 | |
| | |||
* | CURRENT_TIMESTAMP | 2008-10-30 | |
| | |||
* | New implicit argument handling | 2008-10-21 | |
| | |||
* | num working for int | 2008-10-21 | |
| | |||
* | Syntax highlighting for embedded XML | 2008-10-14 | |
| | |||
* | Crud supports INSERT | 2008-09-14 | |
| | |||
* | SQL sequences | 2008-09-14 | |
| | |||
* | Unpolyed a polymorphic function of two arguments | 2008-09-11 | |
| | |||
* | Parsing INSERT | 2008-09-07 | |
| | |||
* | Monoize ASC/DESC | 2008-08-31 | |
| | |||
* | Laconic -> Ur | 2008-08-31 | |