ذروة في شعورك بكتابة مواصفات Quint من ملف فارغ. كتابة مواصفات جديدة لإجماع Tendermint ، الآن مع كل التعلم والتقنيات التي طورناها على مدار السنوات الثلاث الماضية. الجزء المفضل لدي هو أوصاف الجري. كتابتها جعلت كل شيء ينقر جيدا!