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/Unary.bruijn | |
| parent | 349e8574c67bf575ed39694c8085eab00473bfaa (diff) | |
More math
MAATHTHAHHAHA
Diffstat (limited to 'std/Number/Unary.bruijn')
| -rw-r--r-- | std/Number/Unary.bruijn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/std/Number/Unary.bruijn b/std/Number/Unary.bruijn index ae54c19..b764e87 100644 --- a/std/Number/Unary.bruijn +++ b/std/Number/Unary.bruijn @@ -143,6 +143,9 @@ pow [[0 [[3 (1 0)]] pow*]] ⧗ Unary → Unary → Unary :test ((+2u) ^ (+3u)) ((+8u)) :test ((+3u) ^ (+2u)) ((+9u)) +# also note that +# [0 ..i.. 0] (+nu) = n^..i..^n + # fibonacci sequence # index +1 vs std/Math fib fib [0 [[[2 0 [2 (1 0)]]]] [[1]] [0]] ⧗ Unary → Unary |