[Agda] Generic programming and pointfree stuff.

flicky frans flickyfrans at gmail.com
Thu Apr 17 19:08:10 CEST 2014


>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
>


More information about the Agda mailing list