Closed aroberge closed 8 years ago
See if done() can be redefined to see if goals have been met while in repl mode.
done()
See if
done()
can be redefined to see if goals have been met while in repl mode.