aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Math.bruijn
diff options
context:
space:
mode:
Diffstat (limited to 'std/Math.bruijn')
-rw-r--r--std/Math.bruijn4
1 files changed, 2 insertions, 2 deletions
diff --git a/std/Math.bruijn b/std/Math.bruijn
index 772373f..6fdbc48 100644
--- a/std/Math.bruijn
+++ b/std/Math.bruijn
@@ -40,9 +40,9 @@ lmin foldl1 min ⧗ (List Number) → Number
# multiplies all values in list
product foldl mul (+1) ⧗ (List Number) → Number
-Π product
+∏‣ product
-:test (Π ((+1) : ((+2) : {}(+3)))) ((+6))
+:test (∏((+1) : ((+2) : {}(+3)))) ((+6))
# equivalent of mathematical product function
∏…→…|… z [[[[[rec]]]]] (+1) ⧗ Number → Number → (Number → Number) → Number