2006-11-09 ラムダ計算のシミュレータをつくった 内部表現は、ラムダ式の集合をα同値で割った商集合をきれいに表せるように工夫した。ややこしい式をいれてみて、ひたすらβ変換しているのを眺める、なごむ。