[Agda] hints on switching between Agda versions

[Martin Escardo]

I also would like to know an answer to this.

At the moment what I do is to have directories cabal-1, cabal-2 (with
more meaningful names) with different versions of Agda, and move them to
.cabal (and back) to switch versions. This is not very elegant, but
works...

Martin

On 17/11/16 10:33, Andrew Pitts wrote:
> I try to stick to using the latest release version of Agda, but
> recently I find I need to use the development version as well. I want
> to be able to use both on the same machine in as simple a way as
> possible.
> 
> Installation: Is there a recommended way of installing two different
> versions of Agda while sharing as much Haskell infrastructure as
> possible? (I use Mac OSX , or macOS as we are now supposed to call
> it).
> 
> Use: I see there is an emacs agda-mode menu item “Switch to another
> version of Agda”. How does one configure agda-mode to make that work?
> 
> Any hints or tips gratefully received.
> 
> Andy
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe