Daniel Selsam b86e9a3a27 fix: pp.analyze bottom-up only checks unknown types		2021-08-05 08:51:05 +02:00
..
Delaborator	fix: pp.analyze bottom-up only checks unknown types	2021-08-05 08:51:05 +02:00
Basic.lean	chore: throwError! => throwError, throwErrorAt! => throwErrorAt	2021-03-11 11:59:45 -08:00
Delaborator.lean	refactor: pp.analyze needs pp options	2021-08-03 09:13:18 +02:00
Formatter.lean	feat: tag pretty-printer outputs	2021-08-01 09:58:44 +02:00
Parenthesizer.lean	fix: parenthesizer: respect lhsPrec	2021-08-03 15:22:08 +02:00