Mercurial > urweb
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 |