Sebastian Ullrich 5866e2bbb7 chore: use register_parser_alias where possible ... Fixes #494		2021-07-22 16:28:06 +02:00
..
Delaborator	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00
Basic.lean	chore: throwError! => throwError, throwErrorAt! => throwErrorAt	2021-03-11 11:59:45 -08:00
Delaborator.lean	refactor: move & split Lean.Delaborator	2020-11-30 13:52:46 +01:00
Formatter.lean	chore: use register_parser_alias where possible	2021-07-22 16:28:06 +02:00
Parenthesizer.lean	chore: use register_parser_alias where possible	2021-07-22 16:28:06 +02:00