[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