Free mode exists in a current form, but could use one substantial improvement. I think for Olive running in free mode, perhaps we should load OliveExtensions from the global environment. This is not necessarily easy to identify, is the issue -- alternatively, we could have free or olive cells which are used to execute commands directly into the olive module -- such a thing might end up being pretty useful in other contexts, so might not be such a bad idea.
Free mode exists in a current form, but could use one substantial improvement. I think for
Olive
running infree
mode, perhaps we should loadOliveExtensions
from the global environment. This is not necessarily easy to identify, is the issue -- alternatively, we could havefree
orolive
cells which are used to execute commands directly into theolive
module -- such a thing might end up being pretty useful in other contexts, so might not be such a bad idea.