[Agda] Load libraries based on version?

[Jason -Zhong Sheng- Hu]

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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190519/a2fe8926/attachment.html>