Skip to content

Add support for assert function from Control.Exception #138

Add support for assert function from Control.Exception

Add support for assert function from Control.Exception #138

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Jan 6, 2025 in 1m 14s