Skip to content

Add basic support for exceptions #291

Add basic support for exceptions

Add basic support for exceptions #291

Compile agda2hs with nix (agda2hs)

succeeded Nov 20, 2025 in 56s