[Agda] ANNOUNCE: Agda 2.4.2.1

silvio at cs.ioc.ee silvio at cs.ioc.ee
Mon Nov 17 18:26:17 CET 2014

Previous message: [Agda] ANNOUNCE: Standard library 0.9
Next message: [Agda] 2.4.2.1 installation issue
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi All,

Thanks to Andrés and James for their suggestions.
Problem solved. Agda updated. Me happy :)

Best regards,

Silvio

Previous message: [Agda] ANNOUNCE: Standard library 0.9
Next message: [Agda] 2.4.2.1 installation issue
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list