yuk1tyd https://blog.hatena.ne.jp/yuk1tyd/ Don't Repeat Yourself https://blog-dry.com/ Idris Advent Calendar 2020 3日目の記事です。 2020年今年の言語に Idris を選んで年始に Hello, World していたのですが、見事にその後 Python をしていた1年でした（仕事で使うことになったので Python を覚える必要が出てきました）。 完全に Idris は初心者ですが、Idris 楽しんでいきたいと思います！ 今回は Mac ユーザー向けに Idris の開発環境構築を紹介します。 Idris とは 環境 Idris のインストールをする Idris 自体を入れる cabal を入れる VSCode の Extension を入れる … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog-dry.com%2Fentry%2F2020%2F12%2F03%2F000000" title="Mac かつ VSCode で Idris の環境構築をする - Don&#39;t Repeat Yourself" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/y/yuk1tyd/20201202/20201202114631.png Hatena Blog https://hatena.blog 2020-12-03 00:00:00 rich https://blog-dry.com/entry/2020/12/03/000000 1.0 100%