[Agda] [ANNOUNCE] Agda 2.6.1 release candidate 1

[mechvel at scico.botik.ru]

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.
> [..]


Please, see the attached letter. This is a candidate for a bug report.

If you do not guess what is the source of the effect, then I could check 
the
difference more precisely.

--
SM
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: lett.lagda
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191230/bde74c1e/attachment.ksh>