[Agda] Generic programming and pointfree stuff.

[flicky frans]

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

Thanks to all. Typechecking examples.agda takes about ten seconds with
the development version of agda on my very slow PC and requires
constant amount of memory.

2014-04-11 21:20 GMT+04:00, Nils Anders Danielsson <nad at cse.gu.se>:
> 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
>