Skip to content

Draft: IsLawfulOrd proofs #716

Draft: IsLawfulOrd proofs

Draft: IsLawfulOrd proofs #716

Annotations

2 errors

ubuntu-latest / ghc 9.6.6

cancelled Dec 9, 2024 in 16m 34s