[Agda] executable?

[Wouter Swierstra]

Hi Ruben,

If once you build the library try:

cd src/main
runhaskell Setup.hs configure
runhaskell Setup.hs build
runhaskell Setup.hs install

This should give you the stand-alone interpreter. You can call the  
interpreter using:

agda -I MyFile.agda


You may also want to install the emacs mode (see the README for  
instructions) as it is quite useful.

Hope this helps,

   Wouter