前回が10/5で眩暈しそう。半年以上前… 今回は6章を読んだ…けど実装はまだ。なのでタイトルは3.5にした。 何に苦しんでいたのかというと、ラムダ計算のパーサーが書けずにいた。 7章をチラ見すると、例えば「λx. a b」のような式を内部で「TmAbs(TmApp(a b))…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。