Programas por lci.sf.net

LCI es un intérprete para el cálculo de lambda. Admite muchas características de avances como enteros, recursividad, operadores definidos por el usuario y múltiples estrategias de evaluación.