Hacker News new | ask | show | jobs
by simplegeek 512 days ago
Thank you :) I was wondering how this would look in TLA+/PlusCal.