dada
Switch Light/Dark Mode
/
dada
/
Bool
/
eq
Copy path to clipboard
Source
{ eq = λ(
x
: Bool) → λ(
y
: Bool) →
x
==
y
} :
../Eq/Type
Bool
