[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