Skip to content

Draft: IsLawfulOrd proofs #123

Draft: IsLawfulOrd proofs

Draft: IsLawfulOrd proofs #123

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Dec 10, 2024 in 1m 35s