2013-11-01から1日間の記事一覧
最近巷で話題の Idris (依存型を持つ純粋関数型言語)ですが、この Idris にも vim と emacs のプラグインがあります。 idris-vim vim の idris-mode です。Idris のメイン開発者である Edwin Brady さんも開発に加わっています。 リポジトリ Edwin Brady さ…
最近巷で話題の Idris (依存型を持つ純粋関数型言語)ですが、この Idris にも vim と emacs のプラグインがあります。 idris-vim vim の idris-mode です。Idris のメイン開発者である Edwin Brady さんも開発に加わっています。 リポジトリ Edwin Brady さ…