[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