Hacker News new | ask | show | jobs
Introduction to Linear Types (austral-lang.org)
2 points by bmc7505 286 days ago