summaryrefslogtreecommitdiff
path: root/tests/functorMadness.ur
Commit message (Expand)AuthorAge
* Some more nested functor bug-fixing, including generating fresh internal name...Gravatar Adam Chlipala2014-02-20