diff options
| author | Marvin Borner | 2024-05-02 21:57:58 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-05-02 21:57:58 +0200 |
| commit | a25ed8a75d036de252cfe74b5fa0788215194b41 (patch) | |
| tree | 65ab549fe20b719535113a4af40bd4c784765cbb /std/Number/Parigot.bruijn | |
| parent | 349e8574c67bf575ed39694c8085eab00473bfaa (diff) | |
More math
MAATHTHAHHAHA
Diffstat (limited to 'std/Number/Parigot.bruijn')
| -rw-r--r-- | std/Number/Parigot.bruijn | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/std/Number/Parigot.bruijn b/std/Number/Parigot.bruijn new file mode 100644 index 0000000..9a23fd4 --- /dev/null +++ b/std/Number/Parigot.bruijn @@ -0,0 +1,24 @@ +# MIT License, Copyright (c) 2024 Marvin Borner +# see "on the representation of data in lambda-calculus" #5 +# has a "one-step" predecessor *and* addition function +# has 2x space complexity compared to unary/Church + +zero [0] + +inc [[[0 2 1]]] + +++‣ inc + +dec [[1 0 [0]]] + +--‣ dec + +:test (dec (inc zero)) (zero) + +iter [[[0 ι ρ ρ]]] + ρ [[3 (1 0 0)]] + ι [[4]] + +rec [[[0 ι ρ ρ --0]]] + ρ [[[4 0 (2 1 1)]]] + ι [[[5]]] |