Sebastian Ullrich 33c1e5ed9e fix: formatter: ignore all but one choice node		2020-11-25 11:30:24 +01:00
..
Basic.lean	chore: ParserDescrNew => ParserDescr	2020-11-11 18:57:49 -08:00
Formatter.lean	fix: formatter: ignore all but one choice node	2020-11-25 11:30:24 +01:00
Parenthesizer.lean	chore: improve pretty printer traces, avoid recursion	2020-11-25 11:30:24 +01:00