Programmes par petit-lambda.sf.net

Un interprète de calcul lambda.Il montre le processus de réduction des termes lambda.Plusieurs stratégies d’évaluation sont appuyées.Le format de sortie peut être sélectionné à partir de LaTex, texte clair.