[Agda] interaction/repl when in agda-mode

[Ulf Norell]

On Fri, Oct 31, 2008 at 5:56 PM, Jim Burton <jim at sdf-eu.org> wrote:

> 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?


I'm glad you like the tutorial :-)

Just using the emacs agda-mode should be enough. What is it you use "agda
-I" for?

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081031/4ec8bfb6/attachment.html