[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