Skip to content

Replace parameterized ScriptRequirements GADT with flat unparameterized ADTs#1348

Merged
Jimbo4350 merged 9 commits intomasterfrom
jordan/1082-make-NoScriptDatum-uninhabitable
Mar 24, 2026
Merged

Replace parameterized ScriptRequirements GADT with flat unparameterized ADTs#1348
Jimbo4350 merged 9 commits intomasterfrom
jordan/1082-make-NoScriptDatum-uninhabitable

Commits

Commits on Mar 23, 2026