3日ほど前に、↓の記事を読んで「最近 Idris 熱いのかー」と思ったので入門してみた。 takezoe.hatenablog.com 実は以前から Elm コミュニティのエッジな人が Idris すごいと言ってて気になっていて、ちょうどバージョンも最近 1.0 になったばかりというのもあってタイミングとして良いと思った。 出来たのがこれ。 github.com ■ ■ □ ■ ■ ■ ■ □ □ ■ □ □ ■ □ ■ ■ □ □ □ □ ■ ■ ■ □ ■ 33 ■ ■ □ ■ ■ ■ ■ □ □ ■ □ □ ■ ■ ■ ■ □ ■ ■ ■ ■ ■ ■ ■ ■ 12 ■ ■ ■ ■ ■ ■ □ ■ ■ ■ □ □ □ ■ ■ ■ □ ■ ■ ■ ■ ■ ■ ■ ■ 21 Cleared! Press any key to continue. ライツアウトを知らない人はググってください。