Skip to content

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 into
FStarLang:masterfrom
briangmilnes:milnes-restring
Open

Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq.#3598
briangmilnes wants to merge 6 commits into
FStarLang:masterfrom
briangmilnes:milnes-restring

Oops, missed some files on the checkin.

0a18e5c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs