[Agda] lost in modules

Michel Levy michel.levy.imag at free.fr
Tue May 5 15:33:40 CEST 2020


Hi Nils

The origin of my problems was a conflict between the way the Ubuntu
agda-stdlib package handles the standard library and the way indicated
in the "Library Management" topic.
Thanks to the help of Andrès Sicard-Ramirez, who saw the origin of my
problems, I uninstalled the obsolete Ubuntu packages, with a calamitous
library management, for an installation from Hackage.

Le 05/05/2020 à 12:46, Nils Anders Danielsson a écrit :
> On 2020-05-01 17:13, Michel Levy wrote:
>> Why with this strange method, there is no more research of the module
>> Data.nat  in the old library  ?
>
> If you can reproduce the problem that you observed, please report it on
> the bug tracker.
>
-- 
courriel : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : michel.levy.imag.free.fr



More information about the Agda mailing list