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

Compile agda2hs with nix (agda2hs)

succeeded Dec 17, 2024 in 1m 56s