[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