Propaganda
Io :: lambda.
I / O sem bloqueio no estilo lambda ...
Sub :: lambda.
SUB :: LAMBDA é um açúcar sintático para lambdas em Perl. ...
lambda-gtk.
gtk é uma interface Lisp de plataforma cruzada para a família completa GTK + 2 de bibliotecas compartilhadas. ...
interface Lisp. Bibliotecas compartilhadas Interface lisp. lambda-GTK
Resolução de programas inteiros de restrição
A resolução de programas de integer de restrição é uma estrutura para a programação inteira de restrição. ...
constante estrutura de programação inteiro Programação inteira número inteiro constante
Uma calculadora prática de lambda
Um lambda-calculadora prático é uma calculadora lambda com comandos e atalhos convenientes. ...
Módulo de cálculo Python Lambda
Python Lambda Calculus Modulus Project é um módulo simples, mas completo para explorar o Cálculo de Lambda. ...
Lambda.
Lambda Project é um intérprete de cálculo lambda. ...
intérprete cálculo lambda. intérprete de cálculo expressões lambda.