Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. PetitLambda

PetitLambda 0.1

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

Um intérprete de cálculo lambda. Mostra processo de redução dos termos lambda. Várias estratégias de avaliação são apoiadas. O formato de saída pode ser selecionado a partir de LaTex, texto simples.

história da versão

  • Versão 0.1 postado em 2006-11-07
    Várias correções e atualizações
  • Versão 0.1 postado em 2006-11-07

Detalhes do programa

Programas Relacionados

  • UK Bank Holidays Avaliação gratuita

    Veja e adicione feriados bancários do Reino Unido ao seu calendário com um único clique, defina lembretes e muito mais! Não é necessária conexão de dados!Este aplicativo mostra datas e informações sobre feriados bancários

  • YAams Livre

    YAams - Mais um sistema de maker avançado - YAams são um editor para criar jogos 2D sem qualquer conhecimento de programação. Seu witten em Java & pluginable

  • Ant Quick Start Guide for DITA-OT Livre

    A versão GA/RTM deste guia foi relançada sob as licenças Apache 2.0 e Common Public License 1.0 e doada para o projeto DITA Open Toolkit, versão 1.5.2. Estou mantendo-o ativamente lá e apoiando a adoção dita XML como eu puder

  • Tree Lock Screen Livre

    Este é um novo e especial aplicativo de bloqueio de tela para android. Sem bloqueio, sem senha e sem digitalização de impressões digitais nesta ferramenta de desbloqueio. Uma árvore de caixa é a porta do seu telefone. FAQ:1.

  • C-pretter Livre

    O Meu Projeto e um grupo de amigos serão chamados "C-pretter". Envolverá a criação do intérprete de C++ na língua Delfos. A primeira versão deste projeto envolverá elementos da linguagem C++, tais como : Operação va

  • wxWindows Project Manager for VC7 Livre

    Um conjunto de ferramentas para simplificar o uso de wxWindows com Visual C++ 7.

  • SPACS Livre

    SPACS é uma extensão para Macromedia / Adobe Flash que automatiza a criação de tutoriais flash. Usando o painel SPACS, os usuários enviam uma sequência de imagens, definem hotspots que acionam conjuntos de perguntas/respostas

  • DistccTracker Livre

    Um rastreador de servidor Distcc baseado em Java. Permitir que os clientes atualizem seus arquivos de hosts de forma fácil e indolor para refletir os servidores Distcc disponíveis na fazenda.

  • ARS Object History Livre

    O histórico de definição do fluxo de trabalho do Remedy de objetos de fluxo de trabalho ARSystem foi alterado através de operações relacionadas ao administrador. Mantém um histórico de execução de todas as definições de obje

  • Brick Remote Livre

    Brick Remote é um aplicativo Gnome para controlar o tijolo LEGO RCX. Ele utiliza o LNP para se comunicar com o RCX. Permite controlar as três saídas do motor e monitorar as três entradas dos sensores. Ele requer brickOS no