evinism / lambda-explorer

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

add test for weird rename error #93

Closed evinism closed 4 years ago