[Agda] executable?

Ruben Henner Zilibowitz rzilibowitz at yahoo.com.au
Fri Jun 6 09:21:44 CEST 2008


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:

http://www.cs.chalmers.se/~ulfn/darcs/Agda2

Regards,

Ruben



More information about the Agda mailing list