ラムダ項のベータ正規形を求めるプログラムをHaskellで書いてみた。元ネタはWadlerの論文*1にあったMirandaのプログラム。ラムダ項の評価器らしいが、ラムダ項の評価って何を求めれば良いのかがイマイチ分からなかったので、ベータ正規形に簡約するプログラ…

コードが読みづらいのでテーマを琉球のやつから標準のに変えた。ちょっと味気ない。