Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq.#3598
Open
briangmilnes wants to merge 6 commits intoFStarLang:masterfrom briangmilnes:milnes-restring
+620-1
Commits
Commits on Oct 29, 2024
Commits on Dec 12, 2024
- authored
- committed
- committed
- committed
- committed