[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