引き続き、parse とか unparse とかをナニ。とりあえず試験書いた。

define-datatype って強力。On Lisp にあるボトムアップデザイン? それにしても BNF から直感的に書けてる、というのはなかなか凄い。 とりあえず occurs-free? の試験の続きを書きます。