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

PetitLambda 0.1

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

Um intérprete de cálculo lambda. Mostra o processo de redução dos termos lambda. São apoiadas várias estratégias de avaliação. O formato de saída pode ser selecionado a partir do 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 Julgamento Gratuito

    Ver e adicionar feriados do Reino Unido ao seu calendário com um simples clique, definir lembretes e muito mais! Não é necessária qualquer ligação de dados!Esta aplicação mostra datas e informações sobre férias bancárias

  • YAams Grátis

    YAams - Mais um sistema de fabricante avançado - o YAams é um editor para criar Jogos 2D sem qualquer conhecimento de programação. Sua sagacidade em Java e pluginável

  • Ant Quick Start Guide for DITA-OT Grátis

    A versão GA/RTM deste guia foi relançada ao abrigo das licenças Apache 2.0 e Common Public License 1.0 e doada ao projeto DITA Open Toolkit, versão 1.5.2. Estou a mantê-lo ativamente lá e a apoiar a adoção DITA XML como puder

  • Tree Lock Screen Grátis

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

  • C-pretter Grátis

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

  • wxWindows Project Manager for VC7 Grátis

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

  • SPACS Grátis

    SPACS é uma extensão para Macromedia / Adobe Flash que automatiza a criação de flash tutorial. Utilizando o painel SPACS, os utilizadores submetem uma sequência de imagens, definem hotspots que desencadeiam conjuntos de pergu

  • DistccTracker Grátis

    Um localizador de servidor Distcc baseado em Java. Permitir que os clientes atualizem facilmente e indolormente o ficheiro dos anfitriões para refletir os servidores Distcc disponíveis na quinta.

  • ARS Object History Grátis

    A história da definição de fluxo de trabalho da ARSystem alterou-se através de operações relacionadas com a administração. Mantém um histórico de execução de todas as definições de objetos numa forma de Remedy.

  • Brick Remote Grátis

    Brick Remote é uma aplicação gnomo para controlar o tijolo LEGO RCX. Utiliza o LNP para comunicar com o RCX. Permite controlar as três saídas do motor e monitorizar as três entradas de sensores. Requer brickOS no RCX e vem