[Agda] Load libraries based on version?
a.j.rouvoet
a.j.rouvoet at gmail.com
Mon May 20 11:39:43 CEST 2019
Alternatively you can checkout the libraries you need in your project in
a `lib/` directory and use the project local `.agda-lib` file to
include the paths by default on the project's agda path:
name: example
include:
./src/
./lib/stdlib.agda/src/
./lib/cubical.agda/
This works really well and has the additional benefit to be self contained.
Arjen
On 5/19/19 8:39 PM, Jesper Cockx wrote:
> This is currently not possible as far as I'm aware. You could try to
> just have different .agda folders and switch between them when you
> switch agda versions.
>
> -- Jesper
>
> On Sun, May 19, 2019 at 8:34 PM Jason -Zhong Sheng- Hu
> <fdhzs2010 at hotmail.com <mailto:fdhzs2010 at hotmail.com>> wrote:
>
> Hi all,
>
> since Agda and libraries aren't really in the most stable state, I
> figured it might be useful to use multiple versions of Agda for
> different things. My question is, is there a way to load libraries
> based on Agda's version? I am currently managing libraries using
> ~/.agda folder. It would be nice if somehow there are
> configuration files that can tell what version to load what.
>
> *Thanks,*
> *Jason Hu*
> *https://hustmphrrr.github.io/*
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se <mailto:Agda at lists.chalmers.se>
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
> _______________________________________________
> 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/20190520/307b358e/attachment.html>
More information about the Agda
mailing list