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

PetitLambda 0.1

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos
Descargar

Un intérprete de cálculo lambda. Muestra el proceso de reducción de términos lambda. Se apoyan varias estrategias de evaluación. El formato de salida se puede seleccionar de LaTex, texto sin formato.

historial de versiones

  • Versión 0.1 publicado en 2006-11-07
    Varias correcciones y actualizaciones
  • Versión 0.1 publicado en 2006-11-07

Detalles del programa

Programas relacionados

  • UK Bank Holidays Prueba gratuita

    Ver y añadir días festivos del Reino Unido a su calendario con un solo clic, establecer recordatorios y mucho más! ¡No se necesita conexión de datos!Esta aplicación muestra fechas e información sobre días festivos en el R

  • YAams Gratis

    YAams - Otro sistema de creación avanzada - YAams es un editor para crear juegos 2D sin ningún conocimiento programático. Su witten en Java & pluginable

  • Ant Quick Start Guide for DITA-OT Gratis

    La versión GA/RTM de esta guía fue relantada bajo licencias Apache 2.0 y Common Public License 1.0 y donada al proyecto DITA Open Toolkit, versión 1.5.2. Lo mantenigo activamente allí y apoyo la adopción de DITA XML como pued

  • Tree Lock Screen Gratis

    Esta es una nueva y especial aplicación de bloqueo de pantalla para Android. Sin bloqueo, sin contraseña y sin escaneo de huellas dactilares en esta herramienta de desbloqueo. Un árbol de cartón es la puerta de tu teléfono. P

  • C-pretter Gratis

    El proyecto mío y un grupo de amigos se llamarán "C-pretter". Implicará la creación del intérprete de C++ en lenguaje Delphi. La primera versión de este proyecto va a implicar elementos del lenguaje C++ como : Opera

  • wxWindows Project Manager for VC7 Gratis

    Un conjunto de herramientas para simplificar el uso de wxWindows con Visual C++ 7.

  • SPACS Gratis

    SPACS es una extensión para Macromedia / Adobe Flash que automatiza la creación de tutoriales flash. Usando el panel SPACS, los usuarios envían una secuencia de imágenes, definen los hotspots que accionan los conjuntos de pre

  • DistccTracker Gratis

    Un rastreador de servidor Distcc basado en Java. Permita que los clientes actualicen fácilmente y sin dolor su archivo de hosts para reflejar los servidores Distcc disponibles en la granja de servidores.

  • ARS Object History Gratis

    El historial de definición de flujo de trabajo de los objetos de flujo de trabajo de ARSystem ha cambiado mediante operaciones relacionadas con el administrador. Conserva un historial en ejecución de todas las definiciones d

  • Brick Remote Gratis

    Brick Remote es una aplicación de Gnome para controlar el ladrillo LEGO RCX. Utiliza LNP para comunicarse con el RCX. Permite controlar las tres salidas del motor y monitorear las tres entradas del sensor. Requiere brickOS