 | PetitlambdaPETITLAMBDA - Gratis tolk van Lambda Calculus |
| Download nu | |
Petitlambda Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Prijs:
- FREE
- Naam uitgever:
- yamatodani
- Uitgever website:
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 51 KB
Petitlambda Tags
Petitlambda Beschrijving
Petitlambda - Gratis tolk van Lambda Calculus Petitlambda is een gratis tolk van Lambda Calculus. Het toont verminderingsproces van Lambda-voorwaarden. Verschillende evaluatiestrategieën worden ondersteund. Uitgangsindeling kan worden geselecteerd uit platte tekst of latex.Note: PetitLambda wordt vrijgegeven onder de BSD-licentie.
Petitlambda Gerelateerde software
Beharmonia
Beharmonia is een bug / verbeteringstoepassing voor software (cacao, html, perl, scripts, etc.) ontwikkelaars ...
565 KB
Cubulus OLAP
CUBULUS OLAP - Open Source Aggregation Engine met een Slice en Dice Web Interface ...
243 KB
Mlton
MLTON is een open-source, Whole-programma, het optimaliseren van standaard ML-compiler ...
12.4 MB