[Agda] path?

Thorsten Altenkirch txa at Cs.Nott.AC.UK
Mon Jul 7 13:48:37 CEST 2008


I am looking through the documentation but I can't find how to adjust  
the Agda search path. It seems that by default it doesn't include the  
current directory. How to I change this?

Cheers,
Thorsten



More information about the Agda mailing list