[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