数学といえば定理証明。 コンピュータといえばHaskell。 ということでHaskellで定理証明（型レベルプログラミング）です！ 　この記事は[数学とコンピュータ Advent Calendar 2017](https://qiita.com/advent-calendar/2017/math-and-computer)の、 12月3日の記事です。 # 始まり 　多くのHaskelle…

## まとめ 　コード全文は結構長いのでこちら :point_down: - [learning-Haskell/verbose_errors.y - aiya000/learning-Haskell - GitHub](https://github.com/aiya000/learning-Haskell/blob/3c9307776d0421a1aa3f1bea59adfd2593f519…

ハロー、ハッピーVimmer :tada: 今日はVim pluginと、それに対する僕の設定を紹介します。 - [僕の.vimrc](https://github.com/aiya000/dotfiles/blob/573559ecb3dda3e774e3d790c96aa308eaf8948d/.vimrc) - [僕の.vimディレクトリ](https://github.com/aiy…