Markus Himmel 81ea922025 chore: rename String.Pos to String.Pos.Raw (#10624) ... This PR renames `String.Pos` to `String.Pos.Raw`. After an abbreviated deprecation cycle, we will then rename `String.ValidPos` to `String.Pos`.		2025-10-01 07:45:24 +00:00
..
bench	test: improve language server test coverage (#10574)	2025-09-30 11:15:03 +00:00
compiler	chore: remove >6 month old deprecations (#10446)	2025-09-22 12:47:11 +00:00
elabissues
ir
lean	chore: rename String.Pos to String.Pos.Raw (#10624)	2025-10-01 07:45:24 +00:00
pkg	fix: allow meta decls in #eval (#10545)	2025-09-26 15:10:33 +00:00
playground
plugin
simpperf
.gitignore
common.sh
lakefile.toml
lean-toolchain