If you want to play with this, you can run `cargo run` from this: https://github.com/nixpulvis/lambash/ https://github.com/nixpulvis/lambash/ repository. It cu

If you want to play with this, you can run `cargo run` from this: https://github.com/nixpulvis/lambash/ https://github.com/nixpulvis/lambash/ repository. It currently does both with and without η-reduction, and generally should work similarly to http://lambda.jimpryor.net/code/lambda_evaluator/ http://lambda.jimpryor.net/code/lambda_evaluator/ a very cool online JS lambda evaluator.