[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