Skip to content

Fix for issue #443 #289

Fix for issue #443

Fix for issue #443 #289

Compile agda2hs with nix (agda2hs)

succeeded Nov 20, 2025 in 1m 0s