log

age author description
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