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