ふとしたきっかけで、よしもとばななを読んだ。特定の本に出会ったのではない。そろそろ、よしもとばななでも読もうか、そんなスタンス。よしもとばなな - Wikipediaを参考に、著者自身が「今まで書いた自分の作品の中で、一番好き」と公言しているデッドエ…

define の normalize を変えた。a-normalize-name ではなくて a-normalize-with-kが良い。 こうでないと inline 時の手続きの大きさが把握できない。現状を整理。 A-reduction が動くようになった。 inline が正しく行われているかを見よう。 短めの手続き …