Skip to content

Allow a while loop with an ST effect - #109

Open
shravanrn wants to merge 1 commit into
FStarLang:masterfrom
shravanrn:master
Open

Allow a while loop with an ST effect#109
shravanrn wants to merge 1 commit into
FStarLang:masterfrom
shravanrn:master

Allow a while loop with an ST effect

298fb82
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs