diff options
Diffstat (limited to 'std/Church.bruijn')
| -rw-r--r-- | std/Church.bruijn | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/std/Church.bruijn b/std/Church.bruijn index 6277dcc..9e567b0 100644 --- a/std/Church.bruijn +++ b/std/Church.bruijn @@ -2,6 +2,12 @@ zero [[0]] +zero? [0 [[[0]]] [[1]]] + +dec [[[2 [[0 (1 3)]] [1] [0]]]] + +--‣ dec + inc [[[1 (2 1 0)]]] ++‣ inc @@ -12,7 +18,7 @@ add [[[[3 1 (2 1 0)]]]] mul [[[2 (1 0)]]] -…*… mul +…⋅… mul exp [[0 1]] |