Skip to content

Fix for #357

Fix for #357 #77

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Sep 7, 2024 in 1m 28s