Metatheory: use Fin instead of nested Maybe for representing variables#7486
Open
basetunnel wants to merge 2 commits intomasterfrom
Open
Metatheory: use Fin instead of nested Maybe for representing variables#7486basetunnel wants to merge 2 commits intomasterfrom
basetunnel wants to merge 2 commits intomasterfrom
