edwinb/Idris-dev — pull request #15 by MekeorMelire (2012-02-24 13:57:05+00:00)
Title: Ported Data.Complex from Haskell to Idris

http://hackage.haskell.org/packages/archive/base/latest/doc/html/Data-Complex.html

I ported this module to Idris.
In addition, I added a function "atan2" to the prelude as there's in Haskell, too, see http://hackage.haskell.org/packages/archive/base/latest/doc/html/Prelude.html#v:atan2

Oh, and I have to note that I had to replace the RealFloat-typeclass with the Float datatype since we don't have that typeclass yet and sinus and cosinus etc are defined on Float…