added a prelude-function "atan2" as in haskell
commitba77a44fcbd390c0ce40099096cc446cd12c248e
authorMekeor Melire <mekeor@ymail.com>
dateFri 24 Feb 2012, 14:46 (15 years ago)
parent1819fea
lib/prelude.idr+3
@@ -143,6 +143,9 @@ acos x = prim__floatACos x
143143atan : Float -> Float
144144atan x = prim__floatATan x
145145
146+atan2 : Float -> Float -> Float
147+atan2 y x = atan (y/x)
148+
146149sqrt : Float -> Float
147150sqrt x = prim__floatSqrt x
148151