aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Church.bruijn
blob: bba2784ca74b0408de434516ebf0d811e5cf8773 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# MIT License, Copyright (c) 2022 Marvin Borner

zero [[0]]

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

++( inc

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

(+) add

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

(*) mul

exp [[0 1]]

(^) exp