Skip to content
GitLab

Add support for the `ExplicitForAll` language extension

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