[Agda] using agda

[Nils Anders Danielsson]

On 18/08/2019 15.51, Jeremy Dawson wrote:
> I've looked at the page
> https://agda.readthedocs.io/en/latest/tools/package-system.html
> but it says Let’s assume you have downloaded the standard library
> but I haven't found anything to tell me how to do that, or, indeed,
> whether I have in fact done so by following the instructions at
> https://agda.readthedocs.io/en/latest/getting-started/installation.html
> which says […]

You can download the standard library from the following page:

   https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary

-- 
/NAD