[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