std/Church.bruijn


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

# MIT License, Copyright (c) 2022 Marvin Borner

zero [[0]]

zero? [0 [[[0]]] [[1]]]

dec [[[2 [[0 (1 3)]] [1] [0]]]]

--‣ dec

inc [[[1 (2 1 0)]]]

++‣ inc

add [[[[3 1 (2 1 0)]]]]

…+… add

mul [[[2 (1 0)]]]

…⋅… mul

exp [[0 1]]

…^… exp