Hacker News

Making Referential Stability a Type (jovidecroock.com)

11 points by acmnrs 5 days ago