Leonardo de Moura 2f07b70870 fix: default parameter value in constructor footgun at cases tactic (#10939) ... This PR fixes another instance of the “default parameter value in constructor” footgun, which was affecting the `cases` tactic in the `grind` interactive mode.		2025-10-24 00:56:15 +00:00
..
bench	chore: re-enable tests (#10923)	2025-10-23 08:38:57 +00:00
compiler	chore: re-enable tests (#10923)	2025-10-23 08:38:57 +00:00
elabissues
ir
lake	feat: zero cost BaseIO (#10625)	2025-10-22 10:55:12 +02:00
lean	fix: default parameter value in constructor footgun at cases tactic (#10939)	2025-10-24 00:56:15 +00:00
pkg	chore: re-enable tests (#10923)	2025-10-23 08:38:57 +00:00
playground
plugin	chore: re-enable tests (#10923)	2025-10-23 08:38:57 +00:00
simpperf
.gitignore
common.sh
lakefile.toml	fix: detect private references in inferred type of public def (#10762)	2025-10-15 12:51:54 +00:00
lean-toolchain