graph
- 'database' declaration threaded through compiler2008-09-02, by Adam Chlipala
- Parsing jobs2008-09-02, by Adam Chlipala
- Cjrize query2008-09-02, by Adam Chlipala
- Monoize ASC/DESC2008-08-31, by Adam Chlipala
- Changed EQuery not to use a function in its body2008-08-31, by Adam Chlipala
- Monoize aggregates2008-08-31, by Adam Chlipala
- Monoize COUNT(*)2008-08-31, by Adam Chlipala
- Monoize unops2008-08-31, by Adam Chlipala
- Monoize OFFSET2008-08-31, by Adam Chlipala
- Monoize LIMIT2008-08-31, by Adam Chlipala
- Monoize ORDER BY2008-08-31, by Adam Chlipala
- Monoize relops2008-08-31, by Adam Chlipala
- Monoize HAVING2008-08-31, by Adam Chlipala
- Avoid unnecessary WHERE clause2008-08-31, by Adam Chlipala
- Add 'ne' to 'eq' type class2008-08-31, by Adam Chlipala
- 'eq' type class2008-08-31, by Adam Chlipala
- Monoized GROUP BY2008-08-31, by Adam Chlipala
- Monoized binary operators2008-08-31, by Adam Chlipala
- Monoized a WHERE clause with a comparison2008-08-31, by Adam Chlipala
- Monoized and optimized initial query test2008-08-31, by Adam Chlipala
- Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type2008-08-31, by Adam Chlipala
- Fix Core con comparison2008-08-31, by Adam Chlipala
- Corify transaction wrappers2008-08-31, by Adam Chlipala
- Fix shaking of tables2008-08-31, by Adam Chlipala
- Corify tables2008-08-31, by Adam Chlipala
- Explify tables2008-08-31, by Adam Chlipala
- Rename lacweb.c2008-08-31, by Adam Chlipala
- Laconic -> Ur2008-08-31, by Adam Chlipala
- Transactions and queries, at source level2008-08-28, by Adam Chlipala
- Shorthand for multi-binding exp declaration2008-08-28, by Adam Chlipala
- Shorthand for multi-binding exp 'fn'2008-08-28, by Adam Chlipala
- Shorthand for multi-binding con declaration2008-08-28, by Adam Chlipala
- Shorthand for multi-binding con 'fn'2008-08-28, by Adam Chlipala
- Checking for well-formed 'val rec'2008-08-28, by Adam Chlipala
- Tested aggregate functions with GROUP BY2008-08-28, by Adam Chlipala
- More aggregate functions2008-08-28, by Adam Chlipala
- COUNT2008-08-28, by Adam Chlipala
- SELECTed expressions in ORDER BY2008-08-28, by Adam Chlipala
- SELECTing arbitrary expressions2008-08-28, by Adam Chlipala
- OFFSET2008-08-21, by Adam Chlipala
- LIMIT2008-08-21, by Adam Chlipala
- ORDER BY2008-08-21, by Adam Chlipala
- Relational operators; string literals for SQL2008-08-21, by Adam Chlipala
- Resolving lingering type class constraints2008-08-21, by Adam Chlipala
- GROUP BY and HAVING2008-08-21, by Adam Chlipala
- Basic GROUP BY2008-08-21, by Adam Chlipala
- Change [sql_field] type to get 'where' test to check again2008-08-21, by Adam Chlipala
- GROUP BY added to query type, with trivial parsing, for now2008-08-21, by Adam Chlipala
- Queries back to working as well as before, after start of refactoring to support grouping2008-08-21, by Adam Chlipala
- Integer and float constants in SQL2008-08-16, by Adam Chlipala
- Fields in SQL expressions2008-08-16, by Adam Chlipala
- SQL boolean operators2008-08-16, by Adam Chlipala
- SQL comparison operators2008-08-16, by Adam Chlipala
- Signature ascription for type classes2008-08-16, by Adam Chlipala
- Fun with type classes and modules2008-08-16, by Adam Chlipala
- Looking up in a type class from a module2008-08-16, by Adam Chlipala
- Compiling a con-tuple-using test case2008-08-16, by Adam Chlipala
- Corifying con-tuples2008-08-16, by Adam Chlipala
- Explifying type classes2008-08-16, by Adam Chlipala
- Testing type-class-parameterized functions2008-08-16, by Adam Chlipala