Skip to content

Define Rezz in terms of \exists #61

Define Rezz in terms of \exists

Define Rezz in terms of \exists #61

Typecheck with Agda with nix (agda2hs-lib)

succeeded Jul 24, 2024 in 1m 22s