idris-lang/Idris-dev — pull request #623 by markuspf (2013-11-18 17:31:51+00:00)
Title: Add floating point primitives to LLVM backend

* implement floating point primitives in LLVM codegen
* prepare for moving some float constants and code in Prelude
and base
* add a test for the presence of floating point primitives
in a given backend