[Agda] [ANNOUNCE] Agda 2.6.1 release candidate 1

mechvel at scico.botik.ru mechvel at scico.botik.ru
Wed Jan 1 21:42:29 CET 2020


On 2019-12-22 14:41, Andres Sicard Ramirez wrote:
> Dear all,
> 
> The Agda Team is very pleased to announce the first release candidate
> of Agda 2.6.1. We plan to release 2.6.1 in three weeks.
> [..]


I have tested it on two my application programs, under ghc-8.6.3, 
MAlonzo.
It looks all right.

--
SM



More information about the Agda mailing list