aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/pprint.ur
Commit message (Collapse)AuthorAge
* Omit unnecessary parens around arrows in pretty-printingGravatar Adam Chlipala2012-04-27