[Agda] [ANNOUNCE] Agda 2.5.4.2
Andres Sicard Ramirez
asr at eafit.edu.co
Tue Oct 30 15:10:24 CET 2018
On Tue, 30 Oct 2018 at 08:01, Sergei Meshveliani <mechvel at botik.ru> wrote:
>
> 1. What is, briefly, its relation to the Development version of
> September 6, 2018 ?
The main changes in the upstream version *are being* documented as
"Release notes for Agda version 2.6.0" in
https://github.com/agda/agda/blob/0776b8813731d6593626bc908ddc247ea5a66c08/CHANGELOG.md
Best,
--
Andrés
More information about the Agda
mailing list