[Agda] Generic programming and pointfree stuff.

Nils Anders Danielsson nad at cse.gu.se
Sun Apr 6 22:00:00 CEST 2014


On 2014-04-06 17:23, flicky frans wrote:
> I found this text in the 2-3-4.txt file:
>> The location can also be set at run-time, using the Agda_datadir
>> environment variable.
> But after one-hour googling, I've found nothing about changing an
> environment variable in Agda. Can you help me with this?

You change the environment variables before starting Agda. You're using
Windows, right? In that case I suspect that you can do the following (in
the command shell):

   set Agda_datadir=...
   agda ...

-- 
/NAD


More information about the Agda mailing list