summaryrefslogtreecommitdiff
path: root/tests/impl.ur
Commit message (Collapse)AuthorAge
* Make summary unification more conservative; infer implicit arguments after ↵Gravatar Adam Chlipala2009-12-26
| | | | applications
* Laconic -> UrGravatar Adam Chlipala2008-08-31