[Agda] Bug in Win32 distribution (bin/agda.cmd)

Vag Vagoff vag.vagoff at gmail.com
Tue Sep 22 16:42:20 CEST 2009

Previous message: [Agda] 2nd CFP: TLDI 2010
Next message: [Agda] Verification and Debug at HLDVT
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

File bin/agda.cmd has line

call agdaexe.exe %*

instead of

call agda.exe %*

Previous message: [Agda] 2nd CFP: TLDI 2010
Next message: [Agda] Verification and Debug at HLDVT
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list