Arend
Arend copied to clipboard
:lib command not working as expected.
Invoking :lib command does not add any new modules to the list of loaded modules. They seem to not appear in current scope either. The only thing that I've noticed is that it adds a library into the list returned by :libraries.