Skip to content

[ #242 ] Implement GADT syntax #316

[ #242 ] Implement GADT syntax

[ #242 ] Implement GADT syntax #316

Typecheck with Agda with nix (base-lib)

succeeded Nov 28, 2025 in 1m 11s