search

evinism / lambda-explorer

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

bad response #74

Open amryounis opened 5 years ago

amryounis commented 5 years ago

Hi, let me first thank you for this effort. I encountered this:**> λxy.z

F:=λxy.z Name Error: Expression contains free variables z. Assigned values cannot have free variables in this REPL.

If you hover the mouse over the error message the (+) sign will appear. If you click it then the entire browser page turns WHITE even with dark theme.

evinism commented 5 years ago

Thanks for the issue! I'll be working on it in https://github.com/evinism/lambda-explorer/pull/75

evinism commented 5 years ago

Merged and partially fixed!! I'm keeping this bug open because the UI is still a little dumb in that you HAVE to hover to get the whole error message.