Skip to content

Add basic support for exceptions #291

Add basic support for exceptions

Add basic support for exceptions #291

Typecheck with Agda with nix (containers-lib)

succeeded Nov 20, 2025 in 1m 15s