summaryrefslogtreecommitdiff
path: root/tests/subfunctor.urs
Commit message (Expand)AuthorAge
* Fix tricky case of functor signature subsumptionGravatar Adam Chlipala2015-11-27