In this post Eduardo explains a REPL that he implement for Factor that allows you to go back to any point back in time of the REPL. In the thread he is wondering if such a thing is possible in Ikarus Scheme. Either way, it sounds pretty interesting and clearly Eduardo is very talented!