add builtin List.{set, replace, subscript} #9306
Open
HajagosNorbert wants to merge 17 commits intomainfrom
Open
add builtin List.{set, replace, subscript} #9306HajagosNorbert wants to merge 17 commits intomainfrom
HajagosNorbert wants to merge 17 commits intomainfrom
Commits
Commits on Mar 29, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
