Skip to content

Properly differentiate between multiple anonymous modules #93

Properly differentiate between multiple anonymous modules

Properly differentiate between multiple anonymous modules #93

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Sep 20, 2024 in 1m 15s