diff options
| -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 |