[Agda] executable?

[Ulf Norell]

On Fri, Jun 6, 2008 at 9:21 AM, Ruben Henner Zilibowitz <
rzilibowitz at yahoo.com.au> wrote:

> Is there supposed to be an agda executable program or just a library? I
> have built and installed Agda2 from source but see no executable anywhere.
> The repository I am using is below:


The executable is in src/main. I'm sure it's mentioned in the README.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080606/9fa3bde0/attachment.html