idris-lang/Idris-dev — pull request #627 by markuspf (2013-11-19 10:10:12+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