summaryrefslogtreecommitdiff
path: root/tests/simplify.ur
Commit message (Collapse)AuthorAge
* Add another rule to simplify record concatenations for pretty-printingGravatar Adam Chlipala2012-04-21