diff options
| author | Marvin Borner | 2023-02-21 05:42:41 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-21 05:42:41 +0100 |
| commit | c5dc5c2d811c66b47733b98a304c0f0b6cc6c947 (patch) | |
| tree | 6b7446353a3dd2b450ad945cedf3fc1d58fcf4f5 /std/Church.bruijn | |
| parent | e4acd9e833bc7f94519e89494fb5c5b1008649a1 (diff) | |
Standard library sync
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]] |