Mercurial > urweb
log src/expl_util.sig
age | author | description |
---|---|---|
2008-08-09 | Adam Chlipala | 'Option' datatype encoding |
2008-08-03 | Adam Chlipala | Datatype representation optimization |
2008-06-26 | Adam Chlipala | Proper hiding of shadowed bindings in principal signatures |
2008-06-19 | Adam Chlipala | Explify |