Take a look at the video linked in the blog post. It’s not really a REPL, but in practical terms the development just happens in the scratch buffer from Emacs.