Programas por petit-lambda.sf.net

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