log tests/stuff.lac

age author description
2008-03-28 Adam Chlipala Fun with records
2008-03-28 Adam Chlipala Simple elaboration working
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 Initial parsing and pretty-printing