Arend icon indicating copy to clipboard operation
Arend copied to clipboard

Import existing imports in REPL

Open valis opened this issue 3 years ago • 0 comments

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.

valis avatar Mar 14 '21 07:03 valis