summaryrefslogtreecommitdiff
path: root/tests/functorMania.ur
Commit message (Collapse)AuthorAge
* Some more nested functor bug-fixing, including generating fresh internal ↵Gravatar Adam Chlipala2014-02-20
names at applications; still need to debug issues with datatype constructors