Hacker News new | ask | show | jobs
by wizzwizz4 823 days ago
What are operational semantics to you, if not a contract?