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

うーん

misc

不調。

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

scheme EoPL

Exercise 2.12 とりあえず alpha conversion な試験を書いてみる。