git.iko.soy/Idris-dev
on master help sign in
added a prelude-function "atan2" as in haskell
ba77a44Mekeor Melire
lib/prelude.idr+3
compare with master
unifiedsplit
@@ -143,6 +143,9 @@ acos x = prim__floatACos x
143atan : Float -> Float
143atan : Float -> Float
144atan x = prim__floatATan x
144atan x = prim__floatATan x
145
145
146+atan2 : Float -> Float -> Float
147+atan2 y x = atan (y/x)
148+
146sqrt : Float -> Float
149sqrt : Float -> Float
147sqrt x = prim__floatSqrt x
150sqrt x = prim__floatSqrt x
148
151