summaryrefslogtreecommitdiff
path: root/src/coq/Semantics.v
Commit message (Expand)AuthorAge
* Coq formalization uses TDisjointGravatar Adam Chlipala2009-02-24
* Finish semantics for Featherweight UrGravatar Adam Chlipala2009-02-21
* Time to start thinking about guardsGravatar Adam Chlipala2009-02-21
* Most of expression semanticsGravatar Adam Chlipala2009-02-21
* map-only syntax and semanticsGravatar Adam Chlipala2009-02-21
* Semantics for ordered rows onlyGravatar Adam Chlipala2009-02-18
* Start of Featherweight Ur semanticsGravatar Adam Chlipala2009-02-17