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