Skip to content

Show how to use GADTs with inline function type annotations#1103

Merged
fhammerschmidt merged 1 commit intorescript-lang:masterfrom
mediremi:gadt-tweaks
Sep 5, 2025
Merged

Show how to use GADTs with inline function type annotations#1103
fhammerschmidt merged 1 commit intorescript-lang:masterfrom
mediremi:gadt-tweaks

Commits

Commits on Sep 5, 2025