The Theory min
Children
log
Constants
$⇒
BOOL → BOOL → BOOL
$=
'a → 'a → BOOL
('a → BOOL) → 'a
Types
'1 → '2
BOOL
IND
Fixity
Binder: ε λ
Right Infix 20:

Right Infix 100:

Right Infix 200:
=
Terminators
= λ ε

up quick index

privacy policy

Created:

V