プログラム lci.sf.net

LCI - A lambda calculus interpeter 無料

LCIはラムダ計算の通訳者です。整数、再帰、ユーザー定義演算子、複数の評価戦略などの多くの高度な機能をサポートしています。