Skip to content

Unify declare saturate#485

Draft
gares wants to merge 3 commits into
masterfrom
unify-declare-saturate
Draft

Unify declare saturate#485
gares wants to merge 3 commits into
masterfrom
unify-declare-saturate

TODO: saturate-type-constructor up to the arity of the class subject

d531833
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs