Hacker News new | ask | show | jobs
Differential Calculus with Datatypes: the hole story (strictlypositive.org)
2 points by steven741 2838 days ago