ラムダ Lambda Projectはラムダ計算インタプリタです。
今すぐダウンロード

ラムダ ランキングとまとめ

ラムダ タグ

通訳者 微笑み ラムダ 計算インタプリタ ラムダ式 ラムダの整数

ラムダ 説明

Lambda Projectはラムダ計算通訳です。 Lambda ProjectはLambda Calculus Interpreterです。これは、Lambda式を短縮し、それらをS、K、およびIコンビネータ（EXT）に変換します。名前をLambda式（DEF）、ファイル（LOAD）からの定義（ロード）、および現在の定義（リスト）をリストに関連付ける機能があります。整数を表すLambda式は必要に応じて自動的に定義されます。定義ファイルには、多くの興味深いコンビネータが提供されています。縮小や抽出が行われるようにさまざまな設定が提供されます（設定）。 Lambdaが動作する方法を示す簡単なマニュアルが提供されています。 。 。・自動番号の定義。・λ表現を解釈する・単一のステップ解釈。・通常または適用順序の削減。・変数抽出（スキーへの変換）・一部の定義。・いくつかのLambda calculus toioide.requirements：・このQUIRETES：・これで新機能リリース：・extコマンドのXAPPフラグを追加します。・EXTを定数式を抽出するときに一貫して動作します。・ユーザーマニュアルの前処理を追加します。これにより、目次を自動的に挿入し、文字エンティティ換算を行います。

ラムダ 関連ソフトウェア