blob: cd5133b6825849d9b348acc1aa94e4890ab15876 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Church numerals
zero [[0]]
succ [[[1 (2 1 0)]]]
add [[[[3 1 (2 1 0)]]]]
mul [[[2 (1 0)]]]
exp [[0 1]]
Y [[1 (0 0)] [1 (0 0)]]
true [[1]]
false [[0]]
id [0]
iota [0 [[[2 0 (1 0)]]] [[1]]]
main id false
|
