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