ソフトウェアの提出

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

  • PetitLambda 無料

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