bad response

Open amryounis opened this issue 6 years ago • 2 comments

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.

Feb 14 '19 07:02 amryounis

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

Feb 14 '19 08:02 evinism

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.

Feb 15 '19 03:02 evinism