[Agda] installation problem

[Michel Levy]

Excuse me for my earlier message, but I forgot that the agda 
installation does not install the standard library. After rereading the 
documentation (library management part) everything is back in order.

Le 01/06/2020 à 21:21, Nils Anders Danielsson a écrit :

> On 2020-05-30 22:05, Michel Levy wrote:
>> The standard library seems badly installed:
>
> The commands you used do not install the standard library. You can
> download the library separately:
>
>   https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
>
-- 
mail : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : http ://michel.levy.imag.free.fr