2017-06-27から1日間の記事一覧

型駆動開発の裏側 -IdrisのIDEモードを試してみる-

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