Propaganda
Petitlamambda.
Petitlamambda é um intérprete do Cálculo de Lambda. ...
intérprete cálculo Cálculo de lambda. intérprete lambda. termos lambda
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
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.