Pretty-printer prints unnecessary brackets around projects
Open
javra
opened this issue 6 years ago
•
0 comments
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?
lean3 copied to clipboard
leanprover
