caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Functor
/
Constant
/
term
Copy path to clipboard
Source
λ(
cObject
: Type) →
λ(
dObject
: Type) →
λ(
a
: {
_1
:
cObject
, _2 :
dObject
}) →
a
.
_1
