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