summaryrefslogtreecommitdiff
path: root/tests/impl.urp
Commit message (Collapse)AuthorAge
* Make summary unification more conservative; infer implicit arguments after ↵Gravatar Adam Chlipala2009-12-26
applications