Local Reasoning for Global Properties

(tratt.net)

2 points | by ltratt 4 hours ago ago