Arend
Arend copied to clipboard
Import existing imports in REPL
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.