Skip to content
Snippets Groups Projects
Commit 87ea7343 authored by Florian B's avatar Florian B
Browse files

Rename forall identifiers

In preparation for ghc/ghc#23719
parent ddc87361
No related branches found
No related tags found
No related merge requests found
Pipeline #87297 failed