Hacker News new | ask | show | jobs
Functional Futures: Dependent Types with David Christiansen (serokell.io)
3 points by aroccoli 1370 days ago