[Agda] New release soon

Nils Anders Danielsson nad at chalmers.se
Sun Oct 2 18:28:47 CEST 2011


On 2011-10-01 21:11, James Chapman wrote:
> I notice that the development version does build with 6.12 which I'm
> pleased to see.

Oh, the problem disappeared. Good.

-- 
/NAD


More information about the Agda mailing list