Phantom arguments in functions [Re: [Agda] another possible
m.escardo at cs.bham.ac.uk
Wed Jul 10 21:33:08 CEST 2013
On 10/07/13 20:09, Dan Licata wrote:
> Also: does anyone know if there is a nice way to install and switch between multiple versions of Agda?
> How would I have 188.8.131.52 from cabal and the devel version installed
I do the following (I am not sure how safe it is, but it seems to work).
$ mv .cabal cabal-184.108.40.206
$ <install Agda, say 2.3.3>
$ mv .cabal cabal-2.3.3
Now, you can choose which one you want, e.g.
$ ln -s ~/cabal-2.3.3 ~/.cabal
More information about the Agda