PetitLambda 0.1

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

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

バージョン履歴

  • バージョン 0.1 に転記 2006-11-07
    いくつかの修正と更新
  • バージョン 0.1 に転記 2006-11-07

プログラムの詳細