The lambda-calculus is amazing and rather terce. I read a lot of things here and there, written by smart people, but I am not sure that I understand what is to be understood. So, using a small lispy dialect I am working on, lambdatalk, I decided to translate some primitive objects of lambda-calculus - Church numbers, a set of operators (succ, add, mul, power), pairs, computing factorial - and I wrote this page [lambda_calculus](http:&#x2F;&#x2F;epsilonwiki.free.fr&#x2F;lambdaway&#x2F;?view=lambda_calculus). It&#x27;s a work in progress. I feel I understand a little more the lambda-calculus :)<p>I wonder what smart people like you could think of this work. Your opinion is welcome. Thanks in advance.
Lambda-calculus in lambdatalk