Using Abstract Data Types in TLA+hillelwayne.com3 points·StreamBright··0 commentsOpen articleSaveView on HN