2017-06-18から1日間の記事一覧
3日ほど前に、↓の記事を読んで「最近 Idris 熱いのかー」と思ったので入門してみた。 takezoe.hatenablog.com 実は以前から Elm コミュニティのエッジな人が Idris すごいと言ってて気になっていて、ちょうどバージョンも最近 1.0 になったばかりというのも…
3日ほど前に、↓の記事を読んで「最近 Idris 熱いのかー」と思ったので入門してみた。 takezoe.hatenablog.com 実は以前から Elm コミュニティのエッジな人が Idris すごいと言ってて気になっていて、ちょうどバージョンも最近 1.0 になったばかりというのも…