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
Use pretty printer flags from the settings in REPL, allow to config them in the repl (both cli and ide), do not show implicit args by default.
The text was updated successfully, but these errors were encountered:
Create pp flags in repl (#208)
620b89a
Allow configuring pp flags in IDE repl (fixes #208)
71e4aa3
Create pp flags in repl (JetBrains/intellij-arend#208)
2f9fed2
Store pp flags in cli repl (JetBrains/intellij-arend#208)
8837a81
JetBrains/Arend@b964129
ice1000
No branches or pull requests
Use pretty printer flags from the settings in REPL, allow to config them in the repl (both cli and ide), do not show implicit args by default.
The text was updated successfully, but these errors were encountered: