3 ms·
editor outside the repl. Revise means that you get auto-reload on save.
by adgjlsfhk1 4y ago
editor outside the repl. Revise means that you get auto-reload on save.
- galangalalgol 4y agoThanks! I thought revise only worked if I used the internal editor.