Skip to content

Use for to introduce universal quantification#157

Closed
glaebhoerl wants to merge 1 commit into
rust-lang:masterfrom
glaebhoerl:universal-quantification-with-for
Closed

Use for to introduce universal quantification#157
glaebhoerl wants to merge 1 commit into
rust-lang:masterfrom
glaebhoerl:universal-quantification-with-for

Use `for` to introduce universal quantification

5681dc3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs