search

JetBrains / Arend

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

Import existing imports in REPL #291

Open valis opened 3 years ago

valis commented 3 years ago

When a file is open in REPL, it would be convenient to import not only the file itself, but also all imports in the file.