diff options
Diffstat (limited to 'std/Math/Rational.bruijn')
| -rw-r--r-- | std/Math/Rational.bruijn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/std/Math/Rational.bruijn b/std/Math/Rational.bruijn index 1f8a8ec..e3842e7 100644 --- a/std/Math/Rational.bruijn +++ b/std/Math/Rational.bruijn @@ -90,3 +90,10 @@ div [[1 ⋅ ~0]] ⧗ Rational → Rational → Rational :test ((+8.0) / (+4.0) =? (+2.0)) (true) :test ((+18.0) / (+12.0) =? (+1.5)) (true) + +# TODO: Regression? Importing this into . won't find Q.eq? anymore + +:import std/List L + +# rational^number +pow-n [L.…!!… (L.iterate (mul 0) (+1.0))] ⧗ Rational → Number → Rational |