2008-07-10 |
Adam Chlipala |
Fix record type comparison |
2008-07-10 |
Adam Chlipala |
Fill in more types during closure conversion |
2008-07-03 |
Adam Chlipala |
Simplify HTML examples, until the dispatching is ready |
2008-07-03 |
Adam Chlipala |
Mono optimizations (start with string concat and space eating) |
2008-07-03 |
Adam Chlipala |
Monoizing joins and tags |
2008-07-03 |
Adam Chlipala |
Monoizing cdata |
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-03 |
Adam Chlipala |
Fancier head normalization pushed inside of Disjoint |
2008-07-01 |
Adam Chlipala |
Tested constraints through functors |
2008-07-01 |
Adam Chlipala |
Constraints in modules |
2008-07-01 |
Adam Chlipala |
Push KUnit and CUnit through the phases |
2008-07-01 |
Adam Chlipala |
More with disjointness assumptions |
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-07-01 |
Adam Chlipala |
Factor some operations into ElabOps |
2008-06-29 |
Adam Chlipala |
A little more conservative unification |
2008-06-29 |
Adam Chlipala |
More hardcore unification |
2008-06-29 |
Adam Chlipala |
Implicit structure members |
2008-06-29 |
Adam Chlipala |
Another test of broad unification |
2008-06-29 |
Adam Chlipala |
Broaden unification context |
2008-06-26 |
Adam Chlipala |
Folding through a functor |
2008-06-26 |
Adam Chlipala |
Reduce efold |
2008-06-26 |
Adam Chlipala |
Corify efold |
2008-06-26 |
Adam Chlipala |
Explify efold |
2008-06-26 |
Adam Chlipala |
Elaborate efold |
2008-06-26 |
Adam Chlipala |
Cjrize cfold |
2008-06-26 |
Adam Chlipala |
Corify cfold |
2008-06-26 |
Adam Chlipala |
Explify cfold |
2008-06-26 |
Adam Chlipala |
Elaborating cfold |
2008-06-26 |
Adam Chlipala |
Proper subsignaturing for sub-structures |
2008-06-26 |
Adam Chlipala |
Proper subsignaturing for sub-signatures |
2008-06-26 |
Adam Chlipala |
Proper hiding of shadowed bindings in principal signatures |
2008-06-23 |
Adam Chlipala |
Signature duplicate entry checking for principal signatures |
2008-06-22 |
Adam Chlipala |
Signature duplicate entry checking |
2008-06-22 |
Adam Chlipala |
open |
2008-06-22 |
Adam Chlipala |
Subsignatures example |
2008-06-22 |
Adam Chlipala |
Subsignatures |
2008-06-22 |
Adam Chlipala |
include |
2008-06-22 |
Adam Chlipala |
Update main.mlton for group compilation |
2008-06-22 |
Adam Chlipala |
Separate compilation and automatic basis importation |
2008-06-22 |
Adam Chlipala |
Parsing signature files |
2008-06-22 |
Adam Chlipala |
Lexer/parser hacks to share code between regular and signature file parsers |
2008-06-22 |
Adam Chlipala |
FFI through cjrize |
2008-06-22 |
Adam Chlipala |
FFI through cloconv |
2008-06-22 |
Adam Chlipala |
FFI through monoize |
2008-06-22 |
Adam Chlipala |
Better FFI function handling |
2008-06-22 |
Adam Chlipala |
Detecting FFI functions |
2008-06-22 |
Adam Chlipala |
Start of FFI |
2008-06-19 |
Adam Chlipala |
Give functor.lac a 'main' |
2008-06-19 |
Adam Chlipala |
Corifying functors |
2008-06-19 |
Adam Chlipala |
Explifying functors |
2008-06-19 |
Adam Chlipala |
Elaborating functor applications |
2008-06-19 |
Adam Chlipala |
Subtyping for functor signatures |
2008-06-19 |
Adam Chlipala |
Elaborating 'where' |
2008-06-19 |
Adam Chlipala |
Beginning of functor elaboration |
2008-06-19 |
Adam Chlipala |
Functor parsing |