[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