Comment by simplegeek Comment by simplegeek 3 hours ago 0 replies Copy Link View on Hacker News Thank you :) I was wondering how this would look in TLA+/PlusCal.