2009-09-03から1日間の記事一覧

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

scheme EoPL

差分が少ししかない、という事にてどうしたものか、と。