Allow navigation into nested modules in the REPL

GaloisInc / cryptol

Cryptol: The Language of Cryptography

BSD 3-Clause "New" or "Revised" License

1.14k stars 124 forks source link

Open m-yac opened 2 years ago

m-yac commented 2 years ago

Currently :m/:module only works for top-level modules, not nested modules.

glguy commented 3 months ago

PR #1682 introduces a new :focus command that can be used to navigate into loaded submodules