We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
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.
The text was updated successfully, but these errors were encountered:
Thanks for the issue! I'll be working on it in #75
Sorry, something went wrong.
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.
No branches or pull requests
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.
The text was updated successfully, but these errors were encountered: