Een blik op hoe het voelt om een Quint-specificatie te schrijven vanuit een leeg bestand. Een nieuwe specificatie schrijven voor Tendermint-consensus, nu met alle kennis en technieken die we de afgelopen 3 jaar hebben ontwikkeld. Mijn favoriete onderdeel zijn de uitvoeringsbeschrijvingen. Het schrijven ervan zorgde ervoor dat alles zo goed klikte!