diff options
| author | Marvin Borner | 2023-02-25 17:03:20 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-25 17:03:20 +0100 |
| commit | 81985db433543eb2d3bfc77cdbb390812fff6e57 (patch) | |
| tree | 65ec991b06533b15dcabd38f92b0987a86b2a9cf | |
| parent | 5446705237a6fc1842f02b0a8b3bc2b74aab4557 (diff) | |
Fixed wrong input syntax
| -rw-r--r-- | std/Math.bruijn | 4 | ||||
| -rw-r--r-- | std/Number.bruijn | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/std/Math.bruijn b/std/Math.bruijn index 7b94283..31dd572 100644 --- a/std/Math.bruijn +++ b/std/Math.bruijn @@ -2,7 +2,7 @@ :import std/List . -:input std/Number . +:input std/Number # adds all values in list sum foldl add (+0) ⧗ (List Number) → Number @@ -67,7 +67,7 @@ pow […!!… (iterate (…⋅… 0) (+1))] ⧗ Number → Number → Number …**… pow -:test (((+2) ** (+3)) =? ((+8))) (true) +:test (((+2) ** (+3)) =? (+8)) (true) # power function using ternary exponentiation (TODO: slow..) pow' z [[[rec]]] ⧗ Number → Number → Number diff --git a/std/Number.bruijn b/std/Number.bruijn index daefbb7..9cfe910 100644 --- a/std/Number.bruijn +++ b/std/Number.bruijn @@ -4,7 +4,7 @@ :import std/List . -:input std/Number/Ternary . +:input std/Number/Ternary # the following functions are only here because of recursive imports of list/ternary |