以前紹介したように、AtomにIdris用パッケージをインストールするとキーボードショートカットで様々な機能を利用できます。 takezoe.hatenablog.com これがどのように実装されているのかが気になったので調べてみようと思い、Atomパッケージのソースコードを…

4月から社内でType-Driven Development with Idrisの読書会をやっています。 takezoe.hatenablog.com 最近ようやくChapter 3まで進み、実際に自分でコードを書くエクササイズなども出てきました。この本ではAtomを使うことが推奨されているのですが、Atom用…

社内で4月から週一でType-Driven Development with Idrisの読書会をやっています。 Type-Driven Development with Idris作者: Edwin Brady出版社/メーカー: Manning Pubns Co発売日: 2017/04/07メディア: ペーパーバックこの商品を含むブログを見る 今年のSc…