Mercurial > urweb
log src/coq/Semantics.v
age | author | description |
---|---|---|
2009-02-24 | Adam Chlipala | Coq formalization uses TDisjoint |
2009-02-21 | Adam Chlipala | Finish semantics for Featherweight Ur |
2009-02-21 | Adam Chlipala | Time to start thinking about guards |
2009-02-21 | Adam Chlipala | Most of expression semantics |
2009-02-21 | Adam Chlipala | map-only syntax and semantics |
2009-02-18 | Adam Chlipala | Semantics for ordered rows only |
2009-02-17 | Adam Chlipala | Start of Featherweight Ur semantics |