なつたん

写経して(amb 1 2 3)としたときに1、try-againで順に2, 3と動くところまで来た。
例題を解こうとすると、letが動かない。ていうか、analyze関連が何をしているのか分からない。4.1.7を飛ばしたのが悪かった。

4.1.7 Separating Syntactic Analysis from Executionに戻るよ。blogに書き続けないと絶対に挫折する。