[Agda] Generic programming and pointfree stuff.

[Nils Anders Danielsson]

On 2014-04-07 01:32, flicky frans wrote:
> Doesn't work:
>
> C:\>set Agda_datadir = "C:\Agda-2.3.3"

Perhaps it works if you omit the spaces around the equality sign.

-- 
/NAD