handle multiple arguments to a lambda expression

evinism / lambda-explorer

Tutorial / REPL for the lambda calculus

https://lambdaexplorer.com/

MIT License

63 stars 9 forks source link

Closed evinism closed 7 years ago

evinism commented 7 years ago

λab.[expression] should be syntactic sugar for λa.λb.[expression].

evinism commented 7 years ago

done!