search

salmans / Razor

5 stars 0 forks source link

Change configuration settings from the REPL #47

Closed salmans closed 9 years ago

salmans commented 9 years ago

Now that we allow theory files to be loaded inside the REPL, we should be able to change the configuration settings as well. A quick solution is to allow commands like load THEORY-FILE --depth=2 but this is not the best long-term solution.

thedotmatrix commented 9 years ago

You can now set every config option other than the custom depths. If we want to do that, we should open up another issue / discuss the syntax.