[Agda] Load libraries based on version?

[Jesper Cockx]

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> 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/ <https://hustmphrrr.github.io/>*
> _______________________________________________
> 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/20190519/e62baaf5/attachment.html>