Idris.REPL.Browse

namespacesInNS

namesInNS