Here I add to this page important lambda functions I felt needed:

Brief Reminder

Mathematical Operators

The latter two aren't particularly important but I found them to be fairly simple to implement, so I did so anyways.

Booleans

λab. a X Y
a b (NOT a)
(NOT b)
True False
a a AND a b C. Nonimpl. a b Nonimpl. a b a False
b
OR a b b C. Nonimpl. a b XOR a b OR a b C. Nonimpl. a b
(NOT a)
True Impl. a b NOT a NAND a b True NOT a
(NOT b)
C. Impl. a b XNOR a b NOR a b NOT b Impl. a b NOR a b
If Y is True then the statement is equivalent to as if Y were (NOT a). If Y is False then the statement is equivalent to as if Y were a.