add pow
commitdb7d6ca55ff23f141890f6fd9ef7bd8198068da7
authorAlex Gryzlov <skyrodent@gmail.com>
dateFri 23 Jun 2017, 21:58 (9 years ago)
parent13768b9
libs/prelude/Prelude/Doubles.idr+3
@@ -21,6 +21,9 @@ exp x = prim__floatExp x
2121log : Double -> Double
2222log x = prim__floatLog x
2323
24+pow : Double -> Double -> Double
25+pow x y = exp (y * log x)
26+
2427sin : Double -> Double
2528sin x = prim__floatSin x
2629