This week I have recreated my old constructive reals Haskell library. I believe my new library is faster and more likely to be correct. I still have some work I want to do. Implement a sqrt function rather than using \x -> exp((log x)/2). I also want to improve sin and cos by using half angle formulas.
Version 0.1.1 is 400 lines long. Now that it is on the web, it should eventually be archived for me.