max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Lean/Linter
History
Henrik 0d5f9122a1 perf: reduce allocations in unused variable linter
2023-09-18 05:41:37 -04:00
..
Basic.lean feat: add linter.deprecated option to silence deprecation warnings 2022-10-23 21:11:57 +02:00
Builtin.lean feat: profiling of linters 2023-04-18 15:30:21 +02:00
Deprecated.lean feat: add linter.deprecated option to silence deprecation warnings 2022-10-23 21:11:57 +02:00
MissingDocs.lean feat: profiling of linters 2023-04-18 15:30:21 +02:00
UnusedVariables.lean perf: reduce allocations in unused variable linter 2023-09-18 05:41:37 -04:00
Util.lean feat: add linter.deprecated option to silence deprecation warnings 2022-10-23 21:11:57 +02:00