[Agda] Generic programming and pointfree stuff.

flicky frans flickyfrans at gmail.com
Mon Apr 7 01:32:37 CEST 2014


>You're using
>Windows, right?
Right.

>In that case I suspect that you can do the following (in
>the command shell)
Doesn't work:

C:\>set Agda_datadir = "C:\Agda-2.3.3"

C:\>agda "C:\Documents and Settings\test4.agda"

C:\Documents and Settings\►4<8=8AB at 0B>@\Application
Data\cabal\Agda-2.3.3\lib\prim\Agda\Primitive.agda: openFile:
invalid argument (Invalid argument)

>Please report this issue on the bug tracker, along with information
>about what operating system you are using.
Done.


More information about the Agda mailing list