Skip to content

Fix #324: Keep track of instance-only imports #124

Fix #324: Keep track of instance-only imports

Fix #324: Keep track of instance-only imports #124

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Dec 13, 2024 in 1m 8s