Sebastian Ullrich a805e7e12c chore: avoid turning accesses to private decs from public signatures into auto implicits (#9961)		2025-08-18 08:01:12 +00:00
..
bench	chore: complete riscv_ast benchmark (#9928)	2025-08-15 14:39:25 +00:00
compiler	chore: remove >6 month old deprecations (#9640)	2025-08-05 02:29:15 +00:00
elabissues
ir
lean	feat: clean up type annotations when elaborating declaration bodies (#9674)	2025-08-18 04:43:20 +00:00
pkg	chore: avoid turning accesses to private decs from public signatures into auto implicits (#9961)	2025-08-18 08:01:12 +00:00
playground
plugin
simpperf
.gitignore
common.sh
lakefile.toml
lean-toolchain