Making Referential Stability a Type

2 points | by acmnrs 11 hours ago