En titt på hur det känns att skriva en Quint-specifikation från en tom fil. Skriver en ny specifikation för Tendermint konsensus, nu med all inlärning och tekniker vi utvecklat under de senaste 3 åren. Min favoritdel är körbeskrivningarna. Att skriva dem gjorde att allt klickade så bra!