[Agda] More aggressive `with`: Please check your Agda-2.4.2
developments!
Sergei Meshveliani
mechvel at botik.ru
Sat Nov 21 16:23:52 CET 2015
On Thu, 2015-11-19 at 14:16 +0100, Andreas Abel wrote:
> agda at lists.chalmers.se>
> Dear Agda users and developers,
>
> please check your larger Agda-2.4.2 developments with the version at
> https://github.com/andreasabel/agda-issue-1692/tree/maint-2.4.2
I have downloaded agda-issue-1692-master.zip from there, and installed
it.
agda -V
responds "Agda version 2.4.3".
And I doubt, a bit.
Because there were other versions there who responded "2.4.3" as well.
Regards,
------
Sergei
More information about the Agda
mailing list