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
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