[Agda] New bug tracker for Agda

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Aug 10 00:58:03 CEST 2015

Previous message: [Agda] Stop creating or modifying issues in Google Code
Next message: [Agda] Explain this strange effect from the order of arguments (and provide a workaround, if possible)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Please continue reporting or modifying the issues in

  https://github.com/agda/agda/issues

Best,

-- 
Andrés

Previous message: [Agda] Stop creating or modifying issues in Google Code
Next message: [Agda] Explain this strange effect from the order of arguments (and provide a workaround, if possible)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list