[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