Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Laconic -> Ur | Adam Chlipala | 2008-08-31 |
* | Optimizing 'case' in Mono_reduce | Adam Chlipala | 2008-08-03 |
* | Case through corify | Adam Chlipala | 2008-08-02 |
* | Elaborating module constructor patterns; parsing record patterns | Adam Chlipala | 2008-07-31 |