Skip to content

Propagate flat ADT refactoring to consumers

22dc166
Select commit
Loading
Failed to load commit list.
Merged

Replace parameterized ScriptRequirements GADT with flat unparameterized ADTs #1348

Propagate flat ADT refactoring to consumers
22dc166
Select commit
Loading
Failed to load commit list.