Mark Needham
Results
1
issues of
Mark Needham
It looks like the pretty-printing code in Levy omits the parentheses for types like U (A -> B) and prints superfluous ones for types like U A -> B. I...