ラムダ微積分の通訳。 ラムダ項の還元処理を示す。 いくつかの評価戦略がサポートされています。 出力形式は、プレーンテキストのラテックスから選択できます。
バージョン履歴
- バージョン 0.1 に転記 2006-11-07
いくつかの修正と更新 - バージョン 0.1 に転記 2006-11-07
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: petit-lambda.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.1
- プラットフォーム: linux
ラムダ微積分の通訳。 ラムダ項の還元処理を示す。 いくつかの評価戦略がサポートされています。 出力形式は、プレーンテキストのラテックスから選択できます。