summaryrefslogtreecommitdiff
path: root/tests/tupleError.ur
Commit message (Collapse)AuthorAge
* Pretty-print tuple types using tuple syntaxGravatar Adam Chlipala2012-04-21