Skip to content

New (simpler but more robust) implementation of canonicity check #75

New (simpler but more robust) implementation of canonicity check

New (simpler but more robust) implementation of canonicity check #75

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Sep 7, 2024 in 1m 28s