Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Monoize LIMIT | 2008-08-31 | |
* | Monoize ORDER BY | 2008-08-31 | |
* | Monoize relops | 2008-08-31 | |
* | Monoize HAVING | 2008-08-31 | |
* | Add 'ne' to 'eq' type class | 2008-08-31 | |
* | 'eq' type class | 2008-08-31 | |
* | Monoized GROUP BY | 2008-08-31 | |
* | Monoized binary operators | 2008-08-31 | |
* | Monoized a WHERE clause with a comparison | 2008-08-31 | |
* | Monoize transaction identifiers; improve disjointness prover on irreducible f... | 2008-08-31 | |
* | Corify transaction wrappers | 2008-08-31 | |
* | Laconic -> Ur | 2008-08-31 | |
* | Transactions and queries, at source level | 2008-08-28 | |
* | Shorthand for multi-binding exp declaration | 2008-08-28 | |
* | Shorthand for multi-binding exp 'fn' | 2008-08-28 | |
* | Shorthand for multi-binding con declaration | 2008-08-28 | |
* | Shorthand for multi-binding con 'fn' | 2008-08-28 | |
* | Checking for well-formed 'val rec' | 2008-08-28 | |
* | Tested aggregate functions with GROUP BY | 2008-08-28 | |
* | More aggregate functions | 2008-08-28 | |
* | COUNT | 2008-08-28 | |
* | SELECTed expressions in ORDER BY | 2008-08-28 | |
* | SELECTing arbitrary expressions | 2008-08-28 | |
* | OFFSET | 2008-08-21 | |
* | LIMIT | 2008-08-21 | |
* | ORDER BY | 2008-08-21 | |
* | Relational operators; string literals for SQL | 2008-08-21 | |
* | Resolving lingering type class constraints | 2008-08-21 | |
* | GROUP BY and HAVING | 2008-08-21 | |
* | Basic GROUP BY | 2008-08-21 | |
* | Integer and float constants in SQL | 2008-08-16 | |
* | Fields in SQL expressions | 2008-08-16 | |
* | SQL boolean operators | 2008-08-16 | |
* | SQL comparison operators | 2008-08-16 | |
* | Signature ascription for type classes | 2008-08-16 | |
* | Fun with type classes and modules | 2008-08-16 | |
* | Compiling a con-tuple-using test case | 2008-08-16 | |
* | Testing type-class-parameterized functions | 2008-08-16 | |
* | Initial type class support | 2008-08-16 | |
* | Inferring sql_type's | 2008-08-16 | |
* | Stub WHERE support | 2008-08-16 | |
* | Non-star SELECT | 2008-08-14 | |
* | Elaborating 'SELECT *' queries | 2008-08-14 | |
* | Parsing the simplest SQL query | 2008-08-14 | |
* | Parsing and elaborating 'table' | 2008-08-14 | |
* | Urlifying records | 2008-08-09 | |
* | 'Option' datatype encoding | 2008-08-09 | |
* | Lists all the way through | 2008-08-09 | |
* | Tuples syntactic sugar | 2008-08-09 | |
* | A multi-parameter datatype all the way through | 2008-08-09 |