Skip to content

Add basic support for exceptions #290

Add basic support for exceptions

Add basic support for exceptions #290

Typecheck with Agda with nix (base-lib)

succeeded Nov 20, 2025 in 1m 3s