lean4-htt/src/Lean/PrettyPrinter.lean
2020-05-26 15:04:35 -07:00

2 lines
48 B
Text

prelude
import Lean.PrettyPrinter.Parenthesizer