Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |
| | |||
* | Specialization of single-parameter datatypes | 2008-08-08 | |
| | |||
* | Parametrized datatypes through explify | 2008-08-08 | |
| | |||
* | Checkboxes | 2008-08-07 | |
| | |||
* | bool in Basis | 2008-08-03 | |
| | |||
* | FFI datatypes | 2008-08-03 | |
| | |||
* | Optimizing 'case' in Mono_reduce | 2008-08-03 | |
| | |||
* | Case through corify | 2008-08-02 | |
| | |||
* | Elaborating record patterns | 2008-07-31 | |
| | |||
* | Elaborating module constructor patterns; parsing record patterns | 2008-07-31 | |
| | |||
* | Patterns for int and string constants | 2008-07-31 | |
| | |||
* | Elaborating some basic pattern matching | 2008-07-31 | |
| | |||
* | Parsing basic patterns | 2008-07-29 | |
| | |||
* | Datatypes through corify | 2008-07-29 | |
| | |||
* | Datatype import signature-matches abstract datatype | 2008-07-24 | |
| | |||
* | Abstracting datatypes with signature ascription | 2008-07-24 | |
| | |||
* | More datatype module stuff | 2008-07-24 | |
| | |||
* | Basic datatype importing works | 2008-07-24 | |
| | |||
* | Start of datatype support | 2008-07-24 | |
| | |||
* | Password inputs | 2008-07-24 | |
| | |||
* | HTML select | 2008-07-24 | |
| | |||
* | radio and radioOption | 2008-07-24 | |
| | |||
* | textarea | 2008-07-24 | |
| | |||
* | gformText test | 2008-07-24 | |
| | |||
* | Full gform test works | 2008-07-24 | |
| | |||
* | Record cut | 2008-07-24 | |
| | |||
* | gform in proper order | 2008-07-22 | |
| | |||
* | Meta-programming forms | 2008-07-22 | |
| | |||
* | Fix opening and corifying of functors | 2008-07-22 | |
| | |||
* | Simple forms work | 2008-07-22 | |
| | |||
* | Form submission type-checking | 2008-07-20 | |
| | |||
* | Initial form support | 2008-07-20 | |
| | |||
* | A simpler context encoding | 2008-07-20 | |
| | |||
* | Form binding parameters threaded through | 2008-07-20 | |
| |