log src/elab_env.sig

age author description
2009-04-09 Adam Chlipala Made type class system very general; demo compiles
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2008-11-11 Adam Chlipala Get threadedBlog to work
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-11-01 Adam Chlipala First Unnest tests working
2008-11-01 Adam Chlipala Elaborating 'let'
2008-10-21 Adam Chlipala New implicit argument handling
2008-08-28 Adam Chlipala Transactions and queries, at source level
2008-08-16 Adam Chlipala Initial type class support
2008-08-08 Adam Chlipala Parametrized datatypes through explify
2008-08-03 Adam Chlipala Datatype representation optimization
2008-07-31 Adam Chlipala Elaborating module constructor patterns; parsing record patterns
2008-07-31 Adam Chlipala Elaborating some basic pattern matching
2008-07-24 Adam Chlipala More datatype module stuff
2008-07-24 Adam Chlipala Basic datatype importing works
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-01 Adam Chlipala Constraints in modules
2008-06-22 Adam Chlipala Subsignatures
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-19 Adam Chlipala Elaborating 'where'
2008-06-19 Adam Chlipala Corify removes modules
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-12 Adam Chlipala Simple signature matching
2008-06-08 Adam Chlipala Primitive type constants
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Simple elaboration working
2008-01-26 Adam Chlipala Added simple expression constructors to Elab
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Start of elaboration