Hacker News new | ask | show | jobs
Making Referential Stability a Type (jovidecroock.com)
2 points by acmnrs 2 days ago