log

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