Fix isomorphism tests of AndOrType
s under non-empty BinderPairs
(…
#44
lts-backport.yaml
on: push
add-to-backporting-project
46s
Annotations
1 error
add-to-backporting-project
Process completed with exit code 1.
|