2 ms·
Towards an API for the Real Numbers
- ShorsHammer 6y agoThis was an interesting read, I like exact reals and all the trade-offs involved, paper does a good job working through that. Not sure if you are the author but there's a typo in the Introduction: > The mathematical real numbers clearly play play a central role