git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3878 from clayrat/patch-4
e581aa3Niklas Larsson
libs/prelude/Prelude/Doubles.idr+3
compare with master
unifiedsplit
@@ -21,6 +21,9 @@ exp x = prim__floatExp x
21log : Double -> Double
21log : Double -> Double
22log x = prim__floatLog x
22log x = prim__floatLog x
23
23
24+pow : Double -> Double -> Double
25+pow x y = exp (y * log x)
26+
24sin : Double -> Double
27sin : Double -> Double
25sin x = prim__floatSin x
28sin x = prim__floatSin x
26
29