Skip to content
GitLab

Remove type scope from forall notation

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

Fixes #67 (closed).