Skip to content

refactor: use String.ofList and String.toList for String <-> List Char conversion#11017

Merged
TwoFX merged 3 commits intoleanprover:masterfrom
TwoFX:markus/string-list-rename-2
Oct 31, 2025
Merged

refactor: use `String.ofList` and `String.toList` for `String <-> List Char` conversion#11017
TwoFX merged 3 commits intoleanprover:masterfrom
TwoFX:markus/string-list-rename-2

Commits

Commits on Oct 31, 2025