Un vârf despre cum se simte să scrii o specificație Quint dintr-un fișier gol. Scriind o nouă specificație pentru consensul Tendermint, acum cu toate învățăturile și tehnicile pe care le-am dezvoltat în ultimii 3 ani. Partea mea preferată sunt descrierile alergării. Scrierea lor a făcut ca totul să se potrivească atât de bine!