Skip to content

[ #242 ] Implement GADT syntax #316

[ #242 ] Implement GADT syntax

[ #242 ] Implement GADT syntax #316

Compile agda2hs with nix (agda2hs)

succeeded Nov 28, 2025 in 1m 1s