The Theory min
Children

log
Constants
$
BOOL BOOL BOOL
$=
'a 'a BOOL
$
('a BOOL) 'a
Types
'1 '2
BOOL
IND
Fixity




Binder: Infix 20: Infix 100: Infix 200:=
Terminators

=

up quick index © RBJ