Elaborar
ELIPS - Fuente abierta, herramienta de administración de cambios basada en la web completa y potente (o seguimiento de errores / defectos) ...
9.3 MB
 | PetitlambdaPetitlambda - intérprete gratuito de lambda cálculo |
| Descargar ahora | |
Petitlambda Clasificación y resumen
Anuncio publicitario
- Licencia:
- Freeware
- Precio:
- FREE
- Nombre del editor:
- yamatodani
- Sitio web del editor:
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 51 KB
Petitlambda Etiquetas
Petitlambda Descripción
Petitlambda - intérprete libre de cálculo de lambda Petitlambda es un intérprete gratuito de Lambda Cálculo. Muestra el proceso de reducción de los términos lambDa. Se admiten varias estrategias de evaluación. El formato de salida se puede seleccionar desde texto sin formato o látex. Nota: Petitlambda se libera bajo la licencia BSD.
Petitlambda Software relacionado
