今日は大して進展は無かった。
通常の記法からDe Bruijn index記法に変換する箇所にバグがあり、free変数の扱いがおかしくなる欠陥が発覚したが、直し方が分からなかったので仕方なくfree変数を含んでいないclosed-term限定ということにしてお茶を濁した。
それはそれとしてalpha-equivalentかどうかを判定する関数はうまく書けたのでそれを使って通常記法->DeBruijnIndex->通常記法の変換を試すテストを書いた。
前回の記事でWikipediaを参考にすると書いたが、もう少し自力で粘ってみたかったので頑張ったがやっぱりだめだった。で、Wikipediaの記事を参考にしようとしたが思いの外難しかったので今日中の実装は断念。