[Agda] ANNOUNCE: Agda 2.4.2.4 release candidate
Sergei Meshveliani
mechvel at botik.ru
Tue Sep 15 20:30:37 CEST 2015
On Mon, 2015-09-14 at 09:19 -0500, Andrés Sicard-Ramírez wrote:
> Hi,
>
> We would like to announce a release candidate for Agda 2.4.2.4 available at
>
> http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.3.20150913.tar.gz
>
> [..]
Please, look into
http://www.botik.ru/pub/local/Mechveliani/agdaNotes/question-sep15-2015.zip
(see README.agda there).
May be, this presents a bug in Agda-2.4.2.3.20150913.
If not, then I wonder how to fix "unsolved metas" in the last file,
for it looks like all implicit things are already named.
Thanks,
------
Sergei
More information about the Agda
mailing list