Leonardo de Moura f57c184dbd chore: remove = true old workarounds ... @Kha The old `= true` workarounds are not needed anymore, they were due to another issue and are not related to yesterday's issue. That is, the one exposed by the `ForIn` typeclass.		2021-02-05 13:48:03 -08:00
..
Delaborator	chore: remove = true old workarounds	2021-02-05 13:48:03 -08:00
Basic.lean	chore: use double quoted literals	2020-12-09 17:51:01 -08:00
Delaborator.lean	refactor: move & split Lean.Delaborator	2020-11-30 13:52:46 +01:00
Formatter.lean	feat: copy & store whole ref range in SourceInfo	2021-01-20 16:48:50 +01:00
Parenthesizer.lean	feat: copy & store whole ref range in SourceInfo	2021-01-20 16:48:50 +01:00