From 81985db433543eb2d3bfc77cdbb390812fff6e57 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 25 Feb 2023 17:03:20 +0100
Subject: Fixed wrong input syntax

---
 std/Math.bruijn   | 4 ++--
 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
 
-- 
cgit v1.2.3