search

evinism / lambda-explorer

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

s/irreducable/irreducible #30

Closed epost closed 7 years ago

evinism commented 7 years ago

Hahah, this probably isn't the only typo in here. Thanks for the contribution!

epost commented 7 years ago

We'll get there eventually. ;) Btw, really cool project! Thanks!