Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. PetitLambda

PetitLambda 0.1

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

Un interprète de calcul lambda. Il montre le processus de réduction des termes lambda. Plusieurs stratégies d’évaluation sont appuyées. Le format de sortie peut être sélectionné à partir de LaTex, texte clair.

historique de la version

  • Version 0.1 posté sur 2006-11-07
    Plusieurs correctifs et mises à jour
  • Version 0.1 posté sur 2006-11-07

Détails du programme

Programmes connexes

  • UK Bank Holidays Essai gratuit

    Consultez et ajoutez des jours fériés au Royaume-Uni à votre calendrier en un seul clic, définissez des rappels et plus encore! Aucune connexion de données n’est nécessaire!Cette application affiche les dates et les infor

  • YAams Gratuit

    YAams - Encore un autre système de fabricant avancé - YAams sont un éditeur pour créer des jeux 2D sans aucune connaissance de programme. Son esprit en Java & pluginable

  • Ant Quick Start Guide for DITA-OT Gratuit

    La version GA/RTM de ce guide a été réédgée sous les licences Apache 2.0 et Common Public License 1.0 et donnée au projet DITA Open Toolkit, version 1.5.2. Je le maintiens activement là-bas et je soutiens l’adoption de DITA X

  • Tree Lock Screen Gratuit

    Il s’agit d’une nouvelle application spéciale de verrouillage d’écran pour Android. Pas de verrou, pas de mot de passe et pas de numérisation des empreintes digitales dans cet outil de déverrouillage. Un cartonnier est la por

  • C-pretter Gratuit

    Le projet de la mine et un groupe d’amis seront appelés "C-pretter ". Il s’agira de la création de l’interprète de C++ en langue delphes. La première version de ce projet va impliquer des éléments de langage C++ tel

  • wxWindows Project Manager for VC7 Gratuit

    Un ensemble d’outils pour simplifier l’utilisation de wxWindows avec Visual C++ 7.

  • SPACS Gratuit

    SPACS est une extension pour Macromedia / Adobe Flash qui automatise la création de tutoriel flash. À l’aide du panneau SPACS, les utilisateurs soumettent une séquence d’images, définissent les points chauds qui déclenchent d

  • DistccTracker Gratuit

    Un tracker serveur Distcc basé sur Java. Permettez aux clients de mettre à jour facilement et sans douleur le fichier hôte pour refléter les serveurs Distcc disponibles à la ferme.

  • ARS Object History Gratuit

    Corriger l’historique de définition du flux de travail des objets de flux de travail ARSystem modifiés par le biais d’opérations liées à l’administration. Conserve un historique en cours d’exécution de toutes les définitions

  • Brick Remote Gratuit

    Brick Remote est une application Gnome pour contrôler la brique LEGO RCX. Il utilise LNP pour communiquer avec le RCX. Il permet de contrôler les trois sorties du moteur et de surveiller les trois entrées du capteur. Il né