[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