Five Languages, One Law

A library gets proven by people using it. A specification is a harder claim to back up: someone else has to build from your rules alone, without being able to ask you what you meant. I wanted Omnist t...