[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed May 20 14:16:26 CEST 2015


On 20 May 2015 at 07:07, Sergei Meshveliani <mechvel at botik.ru> wrote:
> To easily check the Agda version used, one applies the command
>
>    agda -V
>
> Is there a similar command for the standard library version?

No.


-- 
Andrés


More information about the Agda mailing list