From f31d7645399702e52337e63a1a7acc3776e33a77 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 6 Sep 2024 14:47:17 +0200
Subject: Sample/std fixes

---
 std/Math/Real.bruijn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'std/Math/Real.bruijn')

diff --git a/std/Math/Real.bruijn b/std/Math/Real.bruijn
index d334117..d3510fa 100644
--- a/std/Math/Real.bruijn
+++ b/std/Math/Real.bruijn
@@ -130,7 +130,7 @@ pow-n [L.nth-iterate (mul 0) (+1.0r)] ⧗ Real → Number → Real
 
 # e^x using infinite limit
 # tex: \lim_{n\to\infty}(1+x/n)^n
-lim-exp [[pow-n [(N.add 2 1) : N.--1] 0]] ⧗ Number → Real
+lim-exp [[pow-n ++(1 / (number→real 0)) 0]] ⧗ Real → Real
 
 # natural logarithm using Taylor expansion
 # tex: \sum_{n=0}^\infty\frac{2}{2n+1}(\frac{x-1}{x+1})^{2n+1}
-- 
cgit v1.2.3