rlci 1.1.2

Overly-documented Rust-powered Lambda Calculus Interpreter.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22


# Identity function. Returns the given argument.
id = \a a
if = id

true = \a \b a
false = \a \b b

# True if any of `a` or `b` is true
or = \a \b a true b

# True if both `a` and `b` are true
and = \a \b a b false

# Boolean negation. True if false, false if true.
not = \a a false true

# True if both `a` and `b` are different
xor = \a \b a (b false true) (b true false)

# True if both `a` and `b` are the same
xnor = \a \b not (xor a b)