caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Void
/
eq
Copy path to clipboard
Source
{ eq = λ(_ : <>) → λ(_ : <>) → False } :
../Eq/Type
<>
