Skip to content

[ #242 ] Implement GADT syntax #316

[ #242 ] Implement GADT syntax

[ #242 ] Implement GADT syntax #316

Typecheck with Agda with nix (containers-lib)

succeeded Nov 28, 2025 in 1m 20s