Skip to content

Additions to Haskell.Law.Bool #141

Additions to Haskell.Law.Bool

Additions to Haskell.Law.Bool #141

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Jan 21, 2025 in 1m 9s