2008-07-24 |
Adam Chlipala |
Record cut |
2008-07-20 |
Adam Chlipala |
Form submission type-checking |
2008-07-20 |
Adam Chlipala |
Initial form support |
2008-07-20 |
Adam Chlipala |
A simpler context encoding |
2008-07-17 |
Adam Chlipala |
Untangle |
2008-07-17 |
Adam Chlipala |
Parsing and elaborating (non-mutual) 'val rec' |
2008-07-13 |
Adam Chlipala |
Starting with closure links |
2008-07-13 |
Adam Chlipala |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
2008-07-10 |
Adam Chlipala |
Initial HTML attributes support |
2008-07-10 |
Adam Chlipala |
page declaration, up through monoize |
2008-07-03 |
Adam Chlipala |
More fun with HTML |
2008-07-03 |
Adam Chlipala |
XML tags with contents |
2008-07-03 |
Adam Chlipala |
Basic XML stuff |
2008-07-01 |
Adam Chlipala |
Tested constraints through functors |
2008-07-01 |
Adam Chlipala |
Constraints in modules |
2008-07-01 |
Adam Chlipala |
Disjointness assumptions in expressions |
2008-07-01 |
Adam Chlipala |
Disjointness assumptions |
2008-07-01 |
Adam Chlipala |
Threading disjointness conditions through Elaborate |
2008-07-01 |
Adam Chlipala |
Initial disjointness prover |
2008-06-26 |
Adam Chlipala |
Elaborate efold |
2008-06-26 |
Adam Chlipala |
Elaborating cfold |
2008-06-22 |
Adam Chlipala |
open |
2008-06-22 |
Adam Chlipala |
Subsignatures |
2008-06-22 |
Adam Chlipala |
include |
2008-06-22 |
Adam Chlipala |
Lexer/parser hacks to share code between regular and signature file parsers |
2008-06-22 |
Adam Chlipala |
Start of FFI |
2008-06-19 |
Adam Chlipala |
Elaborating functor applications |
2008-06-19 |
Adam Chlipala |
Elaborating 'where' |
2008-06-19 |
Adam Chlipala |
Functor parsing |
2008-06-17 |
Adam Chlipala |
Elaborating module projection |
2008-06-12 |
Adam Chlipala |
Parsing and printing basic module system |
2008-06-08 |
Adam Chlipala |
Unification wildcards |
2008-06-08 |
Adam Chlipala |
Implicit constructor arguments |
2008-06-08 |
Adam Chlipala |
Primitive type constants |
2008-03-28 |
Adam Chlipala |
Fun with records |
2008-01-26 |
Adam Chlipala |
Parsing basic expressions |
2008-01-26 |
Adam Chlipala |
Add type keyword |
2008-01-26 |
Adam Chlipala |
Check for leftover kind unifs |
2008-01-26 |
Adam Chlipala |
Rename Laconic* modules to Source* |
2008-01-26 |
Adam Chlipala |
Initial parsing and pretty-printing |