Skip to content
New issue

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

Add /help command in REPL #212

Closed
perlun opened this issue Oct 4, 2021 · 0 comments · Fixed by #284
Closed

Add /help command in REPL #212

perlun opened this issue Oct 4, 2021 · 0 comments · Fixed by #284
Labels
Milestone

Comments

@perlun
Copy link
Collaborator

perlun commented Oct 4, 2021

The current way the REPL works is not very helpful. You don't get a whole lot of information from it on how it should be used; it doesn't even tell you how to exit it! (Now, that's "semi-easy" to guess since both quit and exit works, but still...)

We should add a basic /help command which displays something like the following:

  • /quit and /exit, and potentially other internal REPL commands
  • Some examples of statements/expressions that works in the REPL
  • Preferably, a pointer (URL) to some tutorial-oriented documentation that can be kept always-up-to-date.
@perlun perlun added the repl label Oct 4, 2021
@perlun perlun added this to the 0.1.0 milestone Oct 4, 2021
perlun added a commit that referenced this issue Feb 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant