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

Compile agda2hs with nix (agda2hs)

succeeded Sep 7, 2024 in 1m 44s