Making Referential Stability a Type

12 points | by acmnrs 5 days ago