idris-lang/Idris-dev — pull request #1116 by ziman (2014-04-27 15:36:36+00:00)
Title: Fix addition and subtraction of Complex Float

There was an error in the `Num` instance.

Discovered by *isocliff*.