log

age author description
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
2008-06-19 Adam Chlipala Corify removes modules
2008-06-19 Adam Chlipala Explify
2008-06-17 Adam Chlipala Beefier nested selfification test
2008-06-17 Adam Chlipala Nested selfification test
2008-06-17 Adam Chlipala Proper selfification
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-12 Adam Chlipala Matching structures in signatures
2008-06-12 Adam Chlipala Matching values in signatures
2008-06-12 Adam Chlipala Simple signature matching
2008-06-12 Adam Chlipala Parsing and printing basic module system
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Field sorting for Flat
2008-06-10 Adam Chlipala Update main.mlton
2008-06-10 Adam Chlipala Closure conversion
2008-06-10 Adam Chlipala Monoize
2008-06-08 Adam Chlipala Run a shake before reducing
2008-06-08 Adam Chlipala Tree-shaking
2008-06-08 Adam Chlipala Reducing known record projections
2008-06-08 Adam Chlipala Beta reductions for expressions
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Testing constructor equivalences
2008-06-08 Adam Chlipala Unification wildcards
2008-06-08 Adam Chlipala Further experiments with implicit arguments
2008-06-08 Adam Chlipala Conversion to Core
2008-06-08 Adam Chlipala Implicit constructor arguments
2008-06-08 Adam Chlipala Primitive type constants
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Fun with records
2008-03-28 Adam Chlipala Simple elaboration working
2008-03-28 Adam Chlipala Start of elaborating expressions
2008-01-26 Adam Chlipala Added simple expression constructors to Elab
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 Elaborating files
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Elaborating cons and decls
2008-01-26 Adam Chlipala Start of elaboration
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton