[Agda] lost in modules

Nils Anders Danielsson nad at cse.gu.se
Tue May 5 12:46:32 CEST 2020


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.

-- 
/NAD


More information about the Agda mailing list