Sebastian Ullrich 8c8a6021af perf: use constant macro scope in elabArrow (#10048) ... Shrinks .olean size by avoiding variation in this very frequent but mostly unused name		2025-08-22 11:16:05 +00:00
..
bench	chore: set experimental.module=true when running grind benchmarks (#10041)	2025-08-22 03:15:36 +00:00
compiler	fix: make lcAny-producing arrow types lower to tobj rather than obj (#9972)	2025-08-18 22:18:26 +00:00
elabissues
ir
lean	perf: use constant macro scope in elabArrow (#10048)	2025-08-22 11:16:05 +00:00
pkg	fix: local syntax should create private definitions	2025-08-19 14:49:12 -07:00
playground	chore: eliminate uses of intros x y z (#9983)	2025-08-19 06:09:13 +00:00
plugin
simpperf
.gitignore
common.sh
lakefile.toml
lean-toolchain