caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Group
/
PartiallyOrdered
/
extractEq
Copy path to clipboard
Source
λ(
m
: Type) → λ(
group
:
./Type
m
) →
group
.{ eq } :
../../Eq/Type
m
