Skip to content

[ fix #373 ] enable existing-class on postulated type formers #117

[ fix #373 ] enable existing-class on postulated type formers

[ fix #373 ] enable existing-class on postulated type formers #117

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Oct 1, 2024 in 1m 6s