diff options
| author | Marvin Borner | 2023-02-23 14:25:27 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-23 14:25:27 +0100 |
| commit | e8456ff880c5aa72171183e0b0043ca731a086fa (patch) | |
| tree | 114924bedf3f3e10a50467ac724cf55c817ca6d4 /std/Church.bruijn | |
| parent | c11a39217ac9e0a166442a634692114343a484ee (diff) | |
Additions to standard library
Mainly new binary encoding and corresponding functions
Diffstat (limited to 'std/Church.bruijn')
| -rw-r--r-- | std/Church.bruijn | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/std/Church.bruijn b/std/Church.bruijn deleted file mode 100644 index 9e567b0..0000000 --- a/std/Church.bruijn +++ /dev/null @@ -1,25 +0,0 @@ -# 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 |