 | DjinnGenerar código Haskell de un tipo |
| Descargar ahora | |
Djinn Clasificación y resumen
Anuncio publicitario
- Licencia:
- Freeware
- Precio:
- FREE
- Nombre del editor:
- Lennart Augustsson
- Sitio web del editor:
- http://www.augustsson.net/lennart/index.html
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 20 KB
Djinn Etiquetas
Djinn Descripción
Generar código Haskell de un tipo Djinn es un programa gratuito y abierto Haskell que utiliza un Prover Thorem para la lógica proposicional intuitional para generar una expresión de Haskell cuando se le administra un tipo. Nota: Djinn tiene licencia y distribuida en los términos de la licencia BSD. Requisitos: · Ghc
Djinn Software relacionado
