We don't support undefining one specific value but the workspace() function will give you an entirely fresh workspace which may be faster than restarting the entire repl.
On Sun, Nov 30, 2014 at 2:13 AM, Daniel Høegh <[email protected]> wrote: > Just restart the terminal.
