Skip to content

WIP: Add support for the `ScopedTypeVariables` language extension

Jan-Hendrik Matthes requested to merge scoped-type-variables into master

This merge request adds support for the ScopedTypeVariables language extension so that type variables can be lexically scoped when explicitly introduced with the forall keyword.

Depends on curry-base!14

Merge request reports