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

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

scheme EoPL

PTaL 読まねば、と言いつつ途中で切り上げて alpha-conversion をヤッツケるべく、こちらに再度着手。

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

scheme EoPL

微妙な検討が続いています。未だもって腑にオチてなかったりして。