Hacker News new | ask | show | jobs
The Algebra of Types (medium.com)
3 points by jhewlett 3359 days ago