Programas por lci.sf.net

LCI é um intérprete para o cálculo lambda. Suporta muitos recursos de avanço, como inteiros, recursão, operadoras definidas pelo usuário e múltiplas estratégias de avaliação.