Once PR #306 is merged it could make sense to have a `:add module` command, like ghci, which imports the inner scope of `module`. It's a matter of parsing the command, resolving it to a `Module` and import it with `IIModule`.
Once PR #306 is merged it could make sense to have a
:add modulecommand, like ghci, which imports the inner scope ofmodule.It's a matter of parsing the command, resolving it to a
Moduleand import it withIIModule.