Mercurial > urweb
log tests/reduce.lac
age | author | description |
---|---|---|
2008-06-08 | Adam Chlipala | Tree-shaking |
2008-06-08 | Adam Chlipala | Reducing known record projections |
2008-06-08 | Adam Chlipala | Beta reductions for expressions |
2008-06-08 | Adam Chlipala | Some con reducing |