@_------_
2019-10-26
typo
プロンプト表記のレイアウトが他と違ったため統一しました。
@Biacco
2018-06-26
GADTs の章で Int コンストラクタの型シグネチャで Int が抜けていたのを修正
@igrep
2018-03-29
原文のコードと異なっている部分を修正
@taashi
2018-03-28
タイポ修正