[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