graph
- Mono optimizations (start with string concat and space eating)2008-07-03, by Adam Chlipala
- Monoizing joins and tags2008-07-03, by Adam Chlipala
- Monoizing cdata2008-07-03, by Adam Chlipala
- More fun with HTML2008-07-03, by Adam Chlipala
- XML tags with contents2008-07-03, by Adam Chlipala
- Basic XML stuff2008-07-03, by Adam Chlipala
- Fancier head normalization pushed inside of Disjoint2008-07-03, by Adam Chlipala
- Tested constraints through functors2008-07-01, by Adam Chlipala
- Constraints in modules2008-07-01, by Adam Chlipala
- Push KUnit and CUnit through the phases2008-07-01, by Adam Chlipala
- More with disjointness assumptions2008-07-01, by Adam Chlipala
- Disjointness assumptions in expressions2008-07-01, by Adam Chlipala
- Disjointness assumptions2008-07-01, by Adam Chlipala
- Threading disjointness conditions through Elaborate2008-07-01, by Adam Chlipala
- Initial disjointness prover2008-07-01, by Adam Chlipala
- Factor some operations into ElabOps2008-07-01, by Adam Chlipala
- A little more conservative unification2008-06-29, by Adam Chlipala
- More hardcore unification2008-06-29, by Adam Chlipala
- Implicit structure members2008-06-29, by Adam Chlipala
- Another test of broad unification2008-06-29, by Adam Chlipala
- Broaden unification context2008-06-29, by Adam Chlipala
- Folding through a functor2008-06-26, by Adam Chlipala
- Reduce efold2008-06-26, by Adam Chlipala
- Corify efold2008-06-26, by Adam Chlipala
- Explify efold2008-06-26, by Adam Chlipala
- Elaborate efold2008-06-26, by Adam Chlipala
- Cjrize cfold2008-06-26, by Adam Chlipala
- Corify cfold2008-06-26, by Adam Chlipala
- Explify cfold2008-06-26, by Adam Chlipala
- Elaborating cfold2008-06-26, by Adam Chlipala
- Proper subsignaturing for sub-structures2008-06-26, by Adam Chlipala
- Proper subsignaturing for sub-signatures2008-06-26, by Adam Chlipala
- Proper hiding of shadowed bindings in principal signatures2008-06-26, by Adam Chlipala
- Signature duplicate entry checking for principal signatures2008-06-22, by Adam Chlipala
- Signature duplicate entry checking2008-06-22, by Adam Chlipala
- open2008-06-22, by Adam Chlipala
- Subsignatures example2008-06-22, by Adam Chlipala
- Subsignatures2008-06-22, by Adam Chlipala
- include2008-06-22, by Adam Chlipala
- Update main.mlton for group compilation2008-06-22, by Adam Chlipala
- Separate compilation and automatic basis importation2008-06-22, by Adam Chlipala
- Parsing signature files2008-06-22, by Adam Chlipala
- Lexer/parser hacks to share code between regular and signature file parsers2008-06-22, by Adam Chlipala
- FFI through cjrize2008-06-22, by Adam Chlipala
- FFI through cloconv2008-06-22, by Adam Chlipala
- FFI through monoize2008-06-22, by Adam Chlipala
- Better FFI function handling2008-06-22, by Adam Chlipala
- Detecting FFI functions2008-06-22, by Adam Chlipala
- Start of FFI2008-06-22, by Adam Chlipala
- Give functor.lac a 'main'2008-06-19, by Adam Chlipala
- Corifying functors2008-06-19, by Adam Chlipala
- Explifying functors2008-06-19, by Adam Chlipala
- Elaborating functor applications2008-06-19, by Adam Chlipala
- Subtyping for functor signatures2008-06-19, by Adam Chlipala
- Elaborating 'where'2008-06-19, by Adam Chlipala
- Beginning of functor elaboration2008-06-19, by Adam Chlipala
- Functor parsing2008-06-19, by Adam Chlipala
- Corify removes modules2008-06-19, by Adam Chlipala
- Explify2008-06-19, by Adam Chlipala
- Beefier nested selfification test2008-06-17, by Adam Chlipala