Skip to content

Rename Set to Type #155

Rename Set to Type

Rename Set to Type #155

Compile agda2hs with nix (agda2hs)

succeeded Jan 31, 2025 in 1m 30s