2009-08-27から1日間の記事一覧

EoPL reading (68) 2.2 An Abstraction for Inductive Data Type

自宅メイン端末が修理に出てて Exercise 1.31 の実装が無い、って思ったら今使ってる端末にディレクトリがある模様。ちょっとラッキー。

EoPL reading (67) 2.2 An Abstraction for Inductive Data Type

むむ。直前エントリに追記した情報は誤りですね。。