タイプ作成を中心に

  • 昨日の記事の通り、開発環境を使って参照を簡単にした上で、数学的な諸々のHaskellでの記述方法を眺めていくことにする