以下、Haskellの勉強を進めたい人に参考になるかも知れない情報です。今回はたし算に関する証明をいくつか行っていきます。以下のファイルを用意しました(。(1)から開始してください。自分でつくるPDFリーダーまず、Haskellの開発環境を構築する必要があります。自分でつくるPDFリーダーPDFリーダーに関して、周りの人から動画ではイマイチだけど触ってみるとかなりポテンシャルを感じる、という意見をもらっています。