Een tolk van lambda calculus. Het toont verminderingsproces van lambda termijnen. Verschillende evaluatiestrategieën worden ondersteund. De uitvoernotatie kan worden geselecteerd uit LaTex, platte tekst.
versiegeschiedenis
- Versie 0.1 geplaatst op 2006-11-07
Verschillende oplossingen en updates - Versie 0.1 geplaatst op 2006-11-07
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: petit-lambda.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: 0.1
- Platform: linux