This lambda evaluator will allow you to write lambda terms and evaluate (that is, normalize) them, and inspect the results.
This lambda evaluator will allow you to write lambda terms and evaluate (that is, normalize) them, and inspect the results.
browser that stops responding, not the wiki server.
The main code is [here](http://lambda.jimpryor.net/code/lambda.js). Suggestions for improvements welcome.
browser that stops responding, not the wiki server.
The main code is [here](http://lambda.jimpryor.net/code/lambda.js). Suggestions for improvements welcome.
* Chris Barker's JavaScript lambda calculator
* [Oleg Kiselyov's Haskell lambda calculator](http://okmij.org/ftp/Computation/lambda-calc.html#lambda-calculator-haskell).
* Chris Barker's JavaScript lambda calculator
* [Oleg Kiselyov's Haskell lambda calculator](http://okmij.org/ftp/Computation/lambda-calc.html#lambda-calculator-haskell).