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.

Merge request reports