I'm so glad add libs was added. It was a surprisingly major barrier for me when I started as a beginner 4 years ago to have this missing. You can experiment and learn much faster without needing to mess around with REPL state.
I also think you should definitely add the upgrade version feature the person was asking about at the end. I can imagine it would be another step in making the REPL far more powerful and robust long term.
I'm so glad add libs was added.
It was a surprisingly major barrier for me when I started as a beginner 4 years ago to have this missing.
You can experiment and learn much faster without needing to mess around with REPL state.
I also think you should definitely add the upgrade version feature the person was asking about at the end.
I can imagine it would be another step in making the REPL far more powerful and robust long term.