idris-lang/Idris-dev — pull request #935 by cartazio (2014-02-25 23:35:46+00:00)
Title: work in progress to  change Float  (actually a Double) to  Float64 etc

this is currently not done, but want to start the PR so folks can find out about it.

it totally not tested yet, have a bunch more cleanup i need to do.

Will likely hit some other cleanup needs along the way