Post by Ulf NorellI 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
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