Skip to content
Snippets Groups Projects

Add support for invisible binders in type declarations

Merged Add support for invisible binders in type declarations
wip/int-index/decl-invis-binders into ghc-head
Merged Vladislav Zavialov requested to merge wip/int-index/decl-invis-binders into ghc-head

There are currently no pipelines.

To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.