alias.lambda

zero = 0
one = 1
two = 2
three = 3
four = 4
five = 5
six = 6
seven = 7
eight = 8
nine = 9

Δ = ω
U = ω
M = ω
V = cons
compose = B
∘ = B
ε = T
o = B
swap = C
uni = B
bi = N
dup = W

constantly = true
comp = complement

⊤ = true
⊥ = false
∧ = and
& = and
| = or
∨ = or
¬ = not
⫟ = not
~ = not
false? = not
⊻ = xor
⊕ = xor
⩛ = xor
⊽ = nor
↓ = nor
⊙ = xnor
<-> = xnor
bool= = xnor
↔ = xnor
⇔ = xnor
⬄ = xnor
⟺ = xnor
⊼ = nand
↑ = nand
| = nand
⇒ = impl
Ɔ = impl
⟹ = impl
⊃ = impl
ifthenelse = if
? = if

pair = cons
head = car
tail = cdr
rest = cdr
empty = null
emptyp = null
empty? = null
null? = null
nil? = null

append = concat
.. = concat
mapconcat = concatmap
mappend = concatmap
any = some
notany = none
contains = some
elem = some
every = all
repeat = replicate
mem = find
unit = singleton
init = butlast
len = length
count = length
drop = nthcdr
make = replicate
interleave = zip
zipmap = zip
pairlis = zip
string= = equal
list= = equal

values = vals

nub = deduplicate
set = deduplicate
dedup = deduplicate
dedupe = deduplicate
distinct = deduplicate
intersect = instersection

1+ = succ
++ = succ
incf = succ
inc = succ
+ = add
* = mult
× = mult
^ = pow
** = pow
1- = pred
-- = pred
decf = pred
dec = pred
- = sub
minus = sub
/ = div
quot = div
% = mod
rem = mod
is0 = iszero
zerop = iszero
zero? = iszero
=0 = iszero
≤ = leq
<= = leq
= = eq
int= = eq
char= = eq
≡ = eq
< = lt
> = gt
≥ = geq
>= = geq