Elips
elips - open source, completa e poderosa ferramenta de gerenciamento de mudança baseada na Web (ou defeito / rastreador de bugs) ...
9.3 MB
 | Petitlamambda.PETITLAMBDA - intérprete livre do cálculo lambda |
| Baixe Agora | |
Petitlamambda. Classificação e resumo
Propaganda
- Licença:
- Freeware
- Preço:
- FREE
- Nome do editor:
- yamatodani
- Site do editor:
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 51 KB
Petitlamambda. Tag
Petitlamambda. Descrição
Petitlamambda - intérprete livre de Lambda Calculus Petitlamambda é um intérprete livre de Cálculo de Lambda. Mostra o processo de redução de termos lambda. Várias estratégias de avaliação são suportadas. O formato de saída pode ser selecionado de texto simples ou látex.note: Petitlamambda é lançado sob a licença BSD.
Petitlamambda. Software Relacionado
