 | ペッツラムブPetitlambda - ラムダ計算の無料通訳 |
| 今すぐダウンロード | |
ペッツラムブ ランキングとまとめ
広告
ペッツラムブ タグ
ペッツラムブ 説明
Petitlambda - ラムダ計算の無料通訳 Petitlambdaはラムダ計算の無料通訳です。 ラムダ用語の縮小工程を示す。 いくつかの評価戦略がサポートされています。 出力フォーマットは、プレーンテキストまたはLATEX.NOTEから選択できます.PetitlambdaはBSDライセンスの下でリリースされています。
ペッツラムブ 関連ソフトウェア
