Mac Malone 06f457b48a fix: lake: indeterminism in targets test (#11188) ... This PR fixes a source of indeterminism in the `examples/targets` Lake test (checking the job index).		2025-11-15 04:20:24 +00:00
..
bench	perf: sparse case splitting in match compilation (#10823)	2025-11-06 13:46:35 +00:00
compiler
elabissues
ir
lake	fix: lake: indeterminism in targets test (#11188)	2025-11-15 04:20:24 +00:00
lean	doc: improved error messages when typeclass errors are stuck (#11179)	2025-11-14 21:25:46 +00:00
pkg	chore: make compilation type mismatch error message from non-exposed defs a lot less mysterious (#11177)	2025-11-14 10:50:43 +00:00
playground
plugin
simpperf
.gitignore
common.sh	chore: make workspaceSymbol benchmarks modules (#11094)	2025-11-05 18:40:39 +00:00
lakefile.toml
lean-toolchain