[Agda] Standard library for Agda-2.4.0

Sergei Meshveliani mechvel at botik.ru
Sun Jun 15 12:16:36 CEST 2014


On Wed, 2014-06-11 at 20:54 +0200, Ulf Norell wrote:
> I forgot to mention this last week, but as usual there is a release
> of the standard library to go with the Agda release. You can find
> it on GitHub here: https://github.com/agda/agda-stdlib/releases.
> 
> 
> / Ulf
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda


I have the two questions.

1. What new   agda-stdlib-2.4.0   has with respect to previous version,
to  lib-0.7 ?
Which implementations have changed?
Is there release notes?  (the ones inside  agda-stdlib-2.4.0  talks of
the version 0.7).

2. I tried to install  agda-stdlib-2.4.0,
and it reports of 

  rejecting: base-4.7.0.0/installed-018... (conflict: agda-lib-ffi =>
  base>=3.0.3.1 && <4.7)

`ghc-pkg list'  shows  base-4.7.0.0  
(probably, it is used in ghc-7.8.2 which I am using).

How to satisfy both  ghc-7.8.2 and agda-stdlib-2.4.0 ?
I am in Debian Linux.

Thanks,

------
Sergei



More information about the Agda mailing list