Mercurial > urweb
log src/elab_print.sig
age | author | description |
---|---|---|
2008-08-31 | Adam Chlipala | Laconic -> Ur |
2008-07-31 | Adam Chlipala | Elaborating some basic pattern matching |
2008-06-19 | Adam Chlipala | Beginning of functor elaboration |
2008-06-12 | Adam Chlipala | Simple signature matching |
2008-03-28 | Adam Chlipala | Simple elaboration working |
2008-03-28 | Adam Chlipala | Start of elaborating expressions |
2008-01-26 | Adam Chlipala | Elaborating cons and decls |