| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | SQL comparison 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 |
| * | Compiling a con-tuple-using test case | Adam Chlipala | 2008-08-16 |
| * | Testing type-class-parameterized functions | 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 |
| * | Elaborating 'SELECT *' queries | Adam Chlipala | 2008-08-14 |
| * | Parsing the simplest SQL query | Adam Chlipala | 2008-08-14 |
| * | Parsing and elaborating 'table' | Adam Chlipala | 2008-08-14 |
| * | Urlifying records | Adam Chlipala | 2008-08-09 |
| * | 'Option' datatype encoding | Adam Chlipala | 2008-08-09 |
| * | Lists all the way through | Adam Chlipala | 2008-08-09 |
| * | Tuples syntactic sugar | Adam Chlipala | 2008-08-09 |
| * | A multi-parameter datatype all the way through | Adam Chlipala | 2008-08-09 |
| * | Specialization of single-parameter datatypes | Adam Chlipala | 2008-08-08 |
| * | Parametrized datatypes through explify | Adam Chlipala | 2008-08-08 |
| * | Checkboxes | Adam Chlipala | 2008-08-07 |
| * | bool in Basis | Adam Chlipala | 2008-08-03 |
| * | FFI datatypes | Adam Chlipala | 2008-08-03 |
| * | Optimizing 'case' in Mono_reduce | Adam Chlipala | 2008-08-03 |
| * | Case through corify | Adam Chlipala | 2008-08-02 |
| * | Elaborating record patterns | Adam Chlipala | 2008-07-31 |
| * | Elaborating module constructor patterns; parsing record patterns | Adam Chlipala | 2008-07-31 |
| * | Patterns for int and string constants | Adam Chlipala | 2008-07-31 |
| * | Elaborating some basic pattern matching | Adam Chlipala | 2008-07-31 |
| * | Parsing basic patterns | Adam Chlipala | 2008-07-29 |
| * | Datatypes through corify | Adam Chlipala | 2008-07-29 |
| * | Datatype import signature-matches abstract datatype | Adam Chlipala | 2008-07-24 |
| * | Abstracting datatypes with signature ascription | Adam Chlipala | 2008-07-24 |
| * | More datatype module stuff | Adam Chlipala | 2008-07-24 |
| * | Basic datatype importing works | Adam Chlipala | 2008-07-24 |
| * | Start of datatype support | Adam Chlipala | 2008-07-24 |
| * | Password inputs | Adam Chlipala | 2008-07-24 |
| * | HTML select | Adam Chlipala | 2008-07-24 |
| * | radio and radioOption | Adam Chlipala | 2008-07-24 |
| * | textarea | Adam Chlipala | 2008-07-24 |
| * | gformText test | Adam Chlipala | 2008-07-24 |
| * | Full gform test works | Adam Chlipala | 2008-07-24 |
| * | Record cut | Adam Chlipala | 2008-07-24 |
| * | gform in proper order | Adam Chlipala | 2008-07-22 |
| * | Meta-programming forms | Adam Chlipala | 2008-07-22 |
| * | Fix opening and corifying of functors | Adam Chlipala | 2008-07-22 |
| * | Simple forms work | Adam Chlipala | 2008-07-22 |
| * | Form submission type-checking | Adam Chlipala | 2008-07-20 |
| * | Initial form support | Adam Chlipala | 2008-07-20 |
| * | A simpler context encoding | Adam Chlipala | 2008-07-20 |
| * | Form binding parameters threaded through | Adam Chlipala | 2008-07-20 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |