search

JetBrains / Arend

The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
690 stars 33 forks source link

Repl #312

Closed ice1000 closed 2 years ago

ice1000 commented 2 years ago

This PR improves the command line REPL of Arend.

ice1000 commented 2 years ago

Background:

I realized that in the CLI repl of Arend, if you have (co<caret>, hitting tab doesn't give you any completion. Without the ( it completes coe and coe2. This is because jline parses (co as a token, but actually it should be two tokens.