idris-lang/Idris-dev — pull request #648 by markuspf (2013-11-20 11:46:40+00:00)
Title: Float prelude

This just moves some float functions out of Prelude.idr and Complex out of Prelude as well.