[Agda] Agda without emacs?

[Grigory Sarnitskiy]

13.08.2011, 21:03, "Wolfram Kahl" <kahl at cas.mcmaster.ca>:
> It is still possible to use Agda without emacs
> (or to use emacs only for editing, which is what I am doing most of the time).

So you don't use any interpreter? Could you please describe briefly how do you write programs in Agda? From my Haskell experience it is hard to live without the interpreter.