Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Time to start thinking about guards | Adam Chlipala | 2009-02-21 |
* | Most of expression semantics | Adam Chlipala | 2009-02-21 |
* | map-only syntax and semantics | Adam Chlipala | 2009-02-21 |
* | Semantics for ordered rows only | Adam Chlipala | 2009-02-18 |
* | Start of Featherweight Ur semantics | Adam Chlipala | 2009-02-17 |