Hacker News new | ask | show | jobs
The Curry-Howard Correspondence (grant.jurgensen.dev)
3 points by Gajurgensen 1610 days ago