[Agda] interaction/repl when in agda-mode

[Jim Burton]

Hi, I am playing with the examples in Ulf Norell's excellent tutorial,
and the only way I've found to do this is to have an emacs window in
agda-mode and one with `agda -I' running in it, and to switch between
windows reloading the module as I go. But I notice that running agda
like this isn't supported. Is there a better way of doing things
interactively?

Thanks, 

Jim Burton