Skip to content

Add support for the `ExplicitForAll` language extension

Jan-Hendrik Matthes requested to merge explicit-forall into master

This merge request adds support for the ExplicitForAll language extension so that type variables can be quantified explicitly with the forall keyword at the beginning of a type signature.

Depends on curry-base!13 (merged)

Closes #66 (closed)

Edited by Jan-Hendrik Matthes

Merge request reports