[Agda] hints on switching between Agda versions

Ulf Norell ulf.norell at gmail.com
Thu Nov 17 13:56:37 CET 2016


The library system lets you keep different sets of libraries for different
Agda versions. See
https://agda.readthedocs.io/en/latest/tools/package-system.html#installing-libraries
.

/ Ulf

On Thu, Nov 17, 2016 at 1:29 PM, Manuel Bärenz <manuel at enigmage.de> wrote:

> Is there any effort behind a package manager that takes care of Agda
> libraries and versions, which might make version switching easier? For
> example, the Nix package manager (http://nixos.org/nix/) could be used.
>
> --
> I'm using Enigmail on Thunderbird to sign and encrypt my emails with GPG!
> Why not try it yourself? https://enigmail.net/
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20161117/99f62eea/attachment.html


More information about the Agda mailing list