何年もの間、私はシャワーの考えやブログ投稿を首尾一貫した仕様と証明に変えるために@AndrewLewisPyeに(大きく)頼ってきました。 @commonwarexyz図書館の新しいメカニズムを設計する際に、彼のサポートと監督をいただけることに興奮しています。