Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Closure conversion | Adam Chlipala | 2008-06-10 | |
| | ||||
* | Reducing known record projections | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Beta reductions for expressions | Adam Chlipala | 2008-06-08 | |
| | ||||
* | Some con reducing | Adam Chlipala | 2008-06-08 | |