[Agda] installing/using 2.6.0-207bde6
Sergei Meshveliani
mechvel at botik.ru
Mon Aug 14 17:32:26 CEST 2017
On Mon, 2017-08-14 at 16:41 +0200, Ulf Norell wrote:
>
>
> On Mon, Aug 14, 2017 at 2:46 PM, Sergei Meshveliani <mechvel at botik.ru>
> wrote:
>
> and added there import of `compare' and DivMod of Agda
> Prelude.
>
> This caused the necessity to add
> import Prelude.String
> import Prelude.Nat
>
> to many files in the application.
>
>
> This problem was fixed in issue #2641 [1] (commit 64cc2b3). You should
> no longer need the imports of the Prelude modules.
>
>
> / Ulf
>
>
> [1] https://github.com/agda/agda/issues/2641
My install.txt needs to explain plainly:
where to take this needed (improved) Agda Prelude version
(for Agda 2.6.0-207bde6).
Is it by
git clone https://github.com/UlfNorell/agda-prelude
?
Thanks,
------
Sergei
More information about the Agda
mailing list