evinism / lambda-explorer

Tutorial / REPL for the lambda calculus
https://lambdaexplorer.com/
MIT License
61 stars 9 forks source link

fix type in problem 10 #130

Open 2b3o4o opened 3 months ago

2b3o4o commented 3 months ago

prescedence -> precedence