A lambda calculus for real analysis | Hacker News Reader