Programas por lci.sf.net

LCI é um intérprete para o cálculo lambda. Suporta muitos avanços como número inteiros, recursão, operadores definidos pelo utilizador e múltiplas estratégias de avaliação.