[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

Sergei Meshveliani mechvel at botik.ru
Wed May 20 14:07:25 CEST 2015


On Wed, 2015-05-20 at 06:52 -0500, Andrés Sicard-Ramírez wrote:
> On 20 May 2015 at 06:40, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > It reports
> >
> >  Branch 2.4.2.3 set up to track remote branch 2.4.2.3 from origin.
> >  Switched to a new branch '2.4.2.3'
> >
> > The downloaded file/directory list is shown (by ls) as
> >
> >  AllNonAsciiChars.hs    GNUmakefile  notes                README.md
> >  CHANGELOG              Header       publish-listings.sh  Setup.hs
> >  ffi                    lib.cabal    README               src
> >  GenerateEverything.hs  LICENCE      README.agda
> >
> > Is this the library source you intended?
> 
> Yes.


To easily check the Agda version used, one applies the command

   agda -V

Is there a similar command for the standard library version?
(because I often have a suspicion about the used library version).

Thanks,

------
Sergei  




More information about the Agda mailing list