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

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

scheme EoPL

うーん、迷走気味。現時点にて parse な試験で問題発生中。