Phantom arguments in functions [Re: [Agda] another possible without-K problem]

[Martin Escardo]

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 2.3.2.1 from cabal and the devel version installed
> simultaneously?

I do the following (I am not sure how safe it is, but it seems to work).

$ mv .cabal cabal-2.3.2.1
$ <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

Martin