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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 15:10:27 +0000