プログラム petit-lambda.sf.net

ラムダ微積分の通訳。ラムダ項の還元処理を示す。いくつかの評価戦略がサポートされています。出力形式は、プレーンテキストのラテックスから選択できます。