Programas por petit-lambda.sf.net

Um intérprete de cálculo lambda.Mostra processo de redução dos termos lambda.Várias estratégias de avaliação são apoiadas.O formato de saída pode ser selecionado a partir de LaTex, texto simples.