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