Idris + Atomによる型駆動開発入門 - たけぞう瀕死ブログ

2017/06/15 65 users Atom エクササイズ たけぞう瀕死ブログ コード 読書会

2017 - 06 - 15 Idris + Atomによる型駆動開発入門 Study Idris Atom 4月から社内でType-Driven Development with Idrisの読書会をやっています。 takezoe.hatenablog.com 最近ようやくChapter 3まで進み、実際に自分でコードを書くエクササイズなども出てきました。この本では Atom を使うことを推奨し... 続きを読む