Anuncio publicitario
Petitlambda
Petitlambda es un intérprete de cálculo lambda. ...
Interprete cálculo cálculo lambda intérprete lambda términos lambda
Io :: lambda
E / S de no bloqueo en estilo lambda ...
Sub :: Lambda
SUB :: Lambda es un azúcar sintáctico para Lambdas en Perl. ...
lambda-gtk
λGTK es una interfaz LISP de plataforma cruzada para la familia GTK + 2 completa de bibliotecas compartidas. ...
interfaz Ceceo Bibliotecas compartidas Interfaz LISP lambda-gtk
Una práctica calculadora de lambda
Una calculadora de lambda práctica es una calculadora de lambda con comandos y accesos directos convenientes. ...
Módulo de cálculo de Python Lambda
Python Lambda Cálculus Module Project es un módulo simple pero con todas las funciones para explorar el cálculo Lambda. ...