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
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.