summaryrefslogtreecommitdiff
path: root/tests/newMessage.ur
Commit message (Expand)AuthorAge
* Better discovery of type class instances from recursive definitionsGravatar Adam Chlipala2012-05-02