We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Describe how to run kore-repl directly
Explain what makefile is running, update install instructions
Update kore-repl prerequisites, add REPL startup example, and remove outdated help output, direct user to --help option and help REPL command.
cleanup available modifiers table
reference kore-repl --help for available log entries
Add repl documentation to wiki
Updated Kore REPL (markdown)
Added REPL page