[Agda] Hello World
Dominique Devriese
dominique.devriese at gmail.com
Mon Aug 8 08:50:17 CEST 2011
Hi,
2011/8/8 Ben Clifford <benc at hawaga.org.uk>:
> You can use -i to specify more places to look.
>
> Here's an actual command line I use:
>
> agda -c --universe-polymorphism roman.agda -i . -i lib/src
>
> It sounds like you want -i . -i /usr/lib/agda-stdlib
If you're using the emacs Agda mode, you can configure the include
dirs using the following command:
M-x customize-variable <ENTER> agda2-include-dirs <ENTER>
Dominique
More information about the Agda
mailing list