Sebastian Ullrich 33c861a80e fix: parenthesizer: really make sure a trailing parser is of the same category as the continuation		2020-10-27 14:09:33 +01:00
..
Backtrack.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
Formatter.lean	fix: never pretty-print whitespace before checkNoWsBefore	2020-10-27 14:09:33 +01:00
Meta.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
Parenthesizer.lean	fix: parenthesizer: really make sure a trailing parser is of the same category as the continuation	2020-10-27 14:09:33 +01:00