[Agda] installing/using 2.6.0-207bde6

Ulf Norell ulf.norell at gmail.com
Mon Aug 14 16:41:29 CEST 2017


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
<https://github.com/agda/agda/commit/64cc2b32a08e3cb6d9c388a213bb336c592abb1b>).
You should no longer need the imports
of the Prelude modules.

/ Ulf

[1] https://github.com/agda/agda/issues/2641
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170814/e170b500/attachment.html>


More information about the Agda mailing list