log tests/tupleError.ur

age author description
2012-04-21 Adam Chlipala Pretty-print tuple types using tuple syntax