introducing elements of lambda-calculus with lambdatalk: http://epsilonwiki.free.fr/lambdaway/?view=lambda_calculus http://epsilonwiki.free.fr/lambdaway/?view=l

introducing elements of lambda-calculus with lambdatalk: http://epsilonwiki.free.fr/lambdaway/?view=lambda_calculus http://epsilonwiki.free.fr/lambdaway/?view=lambda_calculus