開發者 lci.sf.net

LCI - A lambda calculus interpeter 免費

LCI 是 lambda 微積分的翻譯。它支援許多進步功能，如整數、遞歸、使用者定義的運算符和多個評估策略。