Skip to content

Remove type scope from forall notation

Tej Chajed requested to merge tchajed/stdpp:fix-forall-scope into master

Fixes #67 (closed).

Merge request reports