lean3
lean3 copied to clipboard
Pretty-printer prints unnecessary brackets around projects
When printing projections without arguments, like (A.fst)
for A
a sigma-type, the pretty-printer produces quite some superfluous brackets. Can we remove these?