Skip to content

Simplify forSome statements into wildcard existentials (fix #471) - #483

Open
wiwa wants to merge 1 commit into
twitter:masterfrom
wiwa:f/471
Open

Simplify forSome statements into wildcard existentials (fix #471)#483
wiwa wants to merge 1 commit into
twitter:masterfrom
wiwa:f/471

Simplify forSome statements into wildcard existentials (fix #471)

e68af7d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs