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