dada
Switch Light/Dark Mode
/
dada
/
XNor
/
Type
Copy path to clipboard
Source
λ(
a
: Type) → λ(
b
: Type) → < Both : { head :
a
, tail :
b
} | Neither >
