Skip to content

[ fix #324 ] Keep track of instance-only imports #125

[ fix #324 ] Keep track of instance-only imports

[ fix #324 ] Keep track of instance-only imports #125

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Dec 17, 2024 in 1m 17s