idris-lang/Idris-dev — pull request #605 by markuspf (2013-11-08 11:16:52+00:00)
Title: Add floating point primitives to LLVM codegen

This adds floating point primitives for the LLVM code generator. Tests and other hacks upcoming.