[Agda] ANNOUNCE: Agda 2.4.2.4 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Sep 16 15:33:03 CEST 2015


On 15 September 2015 at 13:30, Sergei Meshveliani <mechvel at botik.ru> wrote:
> 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.

This discussion will continue in

  https://github.com/agda/agda/issues/1649


-- 
Andrés


More information about the Agda mailing list