首页
PC软件
Mac软件
Linux软件
安卓应用
苹果应用
提交软件
开发者 lci.sf.net
LCI - A lambda calculus interpeter
免费
LCI 是 lambda 微积分的翻译。它支持许多进步功能，如整数、递归、用户定义的运算符和多个评估策略。
