summaryrefslogtreecommitdiff
path: root/src/coq
Commit message (Collapse)AuthorAge
* Coq READMEGravatar Adam Chlipala2009-02-26
|
* 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