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 (base-lib)

succeeded Nov 20, 2025 in 1m 7s