Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | |||
* | Dynamic arena allocation | Adam Chlipala | 2008-07-17 |
| | |||
* | Proper escaping of cdata | Adam Chlipala | 2008-07-17 |
| | |||
* | MonoShake | Adam Chlipala | 2008-07-17 |
| | |||
* | Untangle | Adam Chlipala | 2008-07-17 |
| | |||
* | Compiled mutual 'val rec' | Adam Chlipala | 2008-07-17 |
| | |||
* | Parsing and elaborating (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 |
| | |||
* | Three-argument web function test | Adam Chlipala | 2008-07-13 |
| | |||
* | Multiple arguments to web functions | Adam Chlipala | 2008-07-13 |
| | |||
* | Passing an argument to a web function | Adam Chlipala | 2008-07-13 |
| | |||
* | Proper handling of non-function-call links | Adam Chlipala | 2008-07-13 |
| | |||
* | Closure code generation almost there | Adam Chlipala | 2008-07-13 |
| | |||
* | Starting with closure links | Adam Chlipala | 2008-07-13 |
| | |||
* | Remove closure conversion in favor of zany fun with modules, which also ↵ | Adam Chlipala | 2008-07-13 |
| | | | | replaces 'page' | ||
* | More with attributes and efficient serialization | Adam Chlipala | 2008-07-10 |
| | |||
* | Stringifying attributes | Adam Chlipala | 2008-07-10 |
| | |||
* | Initial HTML attributes support | Adam Chlipala | 2008-07-10 |
| | |||
* | page declaration, up through monoize | Adam Chlipala | 2008-07-10 |
| | |||
* | Fill in more types during closure conversion | Adam Chlipala | 2008-07-10 |
| | |||
* | Simplify HTML examples, until the dispatching is ready | Adam Chlipala | 2008-07-03 |
| | |||
* | Monoizing joins and tags | Adam Chlipala | 2008-07-03 |
| | |||
* | Monoizing cdata | Adam Chlipala | 2008-07-03 |
| |