Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |
| | |||
* | Dynamic arena allocation | 2008-07-17 | |
| | |||
* | Proper escaping of cdata | 2008-07-17 | |
| | |||
* | MonoShake | 2008-07-17 | |
| | |||
* | Untangle | 2008-07-17 | |
| | |||
* | Compiled mutual 'val rec' | 2008-07-17 | |
| | |||
* | Parsing and elaborating (non-mutual) 'val rec' | 2008-07-17 | |
| | |||
* | Three-argument web function test | 2008-07-13 | |
| | |||
* | Multiple arguments to web functions | 2008-07-13 | |
| | |||
* | Passing an argument to a web function | 2008-07-13 | |
| | |||
* | Proper handling of non-function-call links | 2008-07-13 | |
| | |||
* | Closure code generation almost there | 2008-07-13 | |
| | |||
* | Starting with closure links | 2008-07-13 | |
| | |||
* | Remove closure conversion in favor of zany fun with modules, which also ↵ | 2008-07-13 | |
| | | | | replaces 'page' | ||
* | More with attributes and efficient serialization | 2008-07-10 | |
| | |||
* | Stringifying attributes | 2008-07-10 | |
| | |||
* | Initial HTML attributes support | 2008-07-10 | |
| | |||
* | page declaration, up through monoize | 2008-07-10 | |
| | |||
* | Fill in more types during closure conversion | 2008-07-10 | |
| | |||
* | Simplify HTML examples, until the dispatching is ready | 2008-07-03 | |
| | |||
* | Monoizing joins and tags | 2008-07-03 | |
| | |||
* | Monoizing cdata | 2008-07-03 | |
| | |||
* | More fun with HTML | 2008-07-03 | |
| | |||
* | XML tags with contents | 2008-07-03 | |
| | |||
* | Basic XML stuff | 2008-07-03 | |
| | |||
* | Fancier head normalization pushed inside of Disjoint | 2008-07-03 | |
| | |||
* | Tested constraints through functors | 2008-07-01 | |
| | |||
* | Constraints in modules | 2008-07-01 | |
| | |||
* | Push KUnit and CUnit through the phases | 2008-07-01 | |
| | |||
* | More with disjointness assumptions | 2008-07-01 | |
| | |||
* | Disjointness assumptions in expressions | 2008-07-01 | |
| | |||
* | Disjointness assumptions | 2008-07-01 | |
| | |||
* | Threading disjointness conditions through Elaborate | 2008-07-01 | |
| | |||
* | Initial disjointness prover | 2008-07-01 | |
| | |||
* | More hardcore unification | 2008-06-29 | |
| | |||
* | Implicit structure members | 2008-06-29 | |
| | |||
* | Another test of broad unification | 2008-06-29 | |
| | |||
* | Broaden unification context | 2008-06-29 | |
| | |||
* | Folding through a functor | 2008-06-26 | |
| | |||
* | Reduce efold | 2008-06-26 | |
| |