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

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

ええと、Variant-name な手続きが error になるケイスの試験を書いてみます。

沖縄支部

幹事会にて設立承認との事。 とは言え、これからが大変なのか。

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

見出しが長い。そりゃ良いんですが、 (define tree-a (interior-node 'a (leaf-node 2) (leaf-node 3)))で tree-a に (interior-node 'a (leaf-node 2) (leaf-node 3))がセットされてる件について手続き定義を確認。