|
Delaborator
|
feat: check task cancellation in elaborator
|
2023-10-13 09:52:26 +02:00 |
|
Basic.lean
|
chore: import reductions
|
2022-09-15 14:02:38 -07:00 |
|
Delaborator.lean
|
refactor: pp.analyze needs pp options
|
2021-08-03 09:13:18 +02:00 |
|
Formatter.lean
|
feat: hygieneInfo parser (aka this 2.0)
|
2023-06-02 16:19:02 +02:00 |
