summaryrefslogtreecommitdiff
path: root/tests/functor.lac
Commit message (Expand)AuthorAge
* Laconic -> UrGravatar Adam Chlipala2008-08-31
* Give functor.lac a 'main'Gravatar Adam Chlipala2008-06-19
* Corifying functorsGravatar Adam Chlipala2008-06-19
* Elaborating functor applicationsGravatar Adam Chlipala2008-06-19
* Subtyping for functor signaturesGravatar Adam Chlipala2008-06-19
* Elaborating 'where'Gravatar Adam Chlipala2008-06-19
* Beginning of functor elaborationGravatar Adam Chlipala2008-06-19
* Functor parsingGravatar Adam Chlipala2008-06-19