Skip to content

Fix for #357

Fix for #357 #77

Annotations

1 error and 1 warning

Compile agda2hs with nix (agda2hs)

failed Sep 7, 2024 in 1m 21s