Sebastian Ullrich 5651a11ac8 feat: improve unused section variable warning (#5036) ... See https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Opt.20out.20of.20.22included.20section.20variable.20is.20not.20used.22.20linter		2024-08-22 10:18:09 +00:00
..
bench	feat: List.mergeSort (#5092)	2024-08-20 06:32:52 +00:00
compiler
elabissues
ir
lean	feat: improve unused section variable warning (#5036)	2024-08-22 10:18:09 +00:00
pkg
playground
plugin
simpperf
.gitignore
common.sh
lean-toolchain