Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through explify | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 |
| | |||
* | Fix some type-class detection | Adam Chlipala | 2008-11-01 |
| | |||
* | Elaborating 'let' | Adam Chlipala | 2008-11-01 |
| | |||
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 |
| | |||
* | Sum prose | Adam Chlipala | 2008-10-21 |
| | |||
* | Infering sum rows | Adam Chlipala | 2008-10-21 |
| | |||
* | Sum demo, minus inference of {Unit}s | Adam Chlipala | 2008-10-21 |
| | |||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 |
| | |||
* | Recursive unurlify for Default datatypes | Adam Chlipala | 2008-10-21 |
| | |||
* | ListShop skeleton | Adam Chlipala | 2008-10-21 |
| | |||
* | Reusable column handlers for Crud | Adam Chlipala | 2008-10-14 |
| | |||
* | Expand cases where expression wildcards are allowed | Adam Chlipala | 2008-10-04 |
| | |||
* | Improved inference of records of tuples | Adam Chlipala | 2008-10-04 |
| | |||
* | Merge CDisjoint and TDisjoint | Adam Chlipala | 2008-10-04 |
| | |||
* | Crud update form | Adam Chlipala | 2008-09-14 |
| | |||
* | Crud supports INSERT | Adam Chlipala | 2008-09-14 |
| | |||
* | SQL sequences | Adam Chlipala | 2008-09-14 |
| | |||
* | queryX | Adam Chlipala | 2008-09-13 |
| | |||
* | foldTR2 | Adam Chlipala | 2008-09-13 |
| | |||
* | Fixed a mind-numbing De Bruijn bug | Adam Chlipala | 2008-09-11 |
| | |||
* | Fix bug in subsignature check for con synonyms | Adam Chlipala | 2008-09-11 |
| | |||
* | Crud list works | Adam Chlipala | 2008-09-11 |
| | |||
* | Crud listing IDs | Adam Chlipala | 2008-09-11 |
| | |||
* | Datatype positivity check | Adam Chlipala | 2008-09-09 |
| | |||
* | intToString | Adam Chlipala | 2008-09-07 |
| | |||
* | Compiling a parametrized query the inefficient way | Adam Chlipala | 2008-09-02 |
| | |||
* | 'database' declaration threaded through compiler | Adam Chlipala | 2008-09-02 |
| | |||
* | 'eq' type class | Adam Chlipala | 2008-08-31 |
| | |||
* | Monoized GROUP BY | Adam Chlipala | 2008-08-31 |
| | |||
* | Corify transaction wrappers | Adam Chlipala | 2008-08-31 |
| | |||
* | Transactions and queries, at source level | Adam Chlipala | 2008-08-28 |
| | |||
* | Checking for well-formed 'val rec' | Adam Chlipala | 2008-08-28 |
| | |||
* | SELECTing arbitrary expressions | Adam Chlipala | 2008-08-28 |
| | |||
* | Resolving lingering type class constraints | Adam Chlipala | 2008-08-21 |
| | |||
* | Queries back to working as well as before, after start of refactoring to ↵ | Adam Chlipala | 2008-08-21 |
| | | | | support grouping | ||
* | SQL boolean operators | Adam Chlipala | 2008-08-16 |
| | |||
* | Signature ascription for type classes | Adam Chlipala | 2008-08-16 |
| | |||
* | Fun with type classes and modules | Adam Chlipala | 2008-08-16 |
| | |||
* | Looking up in a type class from a module | Adam Chlipala | 2008-08-16 |
| | |||
* | Explifying type classes | Adam Chlipala | 2008-08-16 |
| | |||
* | Initial type class support | Adam Chlipala | 2008-08-16 |
| | |||
* | Inferring sql_type's | Adam Chlipala | 2008-08-16 |
| | |||
* | Stub WHERE support | Adam Chlipala | 2008-08-16 |
| | |||
* | Non-star SELECT | Adam Chlipala | 2008-08-14 |
| | |||
* | Remove extraneous disjointness goal | Adam Chlipala | 2008-08-14 |
| | |||
* | Elaborating 'SELECT *' queries | Adam Chlipala | 2008-08-14 |
| | |||
* | Parsing and elaborating 'table' | Adam Chlipala | 2008-08-14 |
| | |||
* | A multi-parameter datatype all the way through | Adam Chlipala | 2008-08-09 |
| |