[Agda-dev] Re: [Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat May 23 00:34:21 CEST 2015


On 22 May 2015 at 10:19, Sergei Meshveliani <mechvel at botik.ru> wrote:
> I have tested it on the docon-A application.
> This does not reveal any errors.

Which version of GHC did you use?


-- 
Andrés


More information about the Agda-dev mailing list