[Agda] References to the "old" ways of installing the agda stdlib
Miëtek Bak
mietek at bak.io
Mon Jun 6 01:32:55 CEST 2016
> But it leaves me with one question: is there any documentation on the
> “new" way of doing this?
The new Agda documentation website has a section on library management:
http://agda.readthedocs.io/en/latest/tools/package-system.html
I found out about the website by failing to upgrade to Agda 2.5.1 and
asking for help in the #agda IRC channel on freenode.
--
Miëtek
https://mietek.io
More information about the Agda
mailing list