Re: RFS: agda

[Iain Lane <laney@ubuntu.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

On 19 Jun 2009, at 17:06, Joachim Breitner wrote:

> ...
> Is there any reason why this is not shipped in the agda library by
> upstream, just as agda-mode is? If it should be be built by default,  
> it
> could be achieved by a cabal flag.

[sorry if you get two messages about this; MUA problems]

I guess this is because most users won't need the executable as the  
primary mode of interaction is the emacs interface which doesn't  
require it.

Do you mean 'should not be built by default'? If it is possible to  
ship both in the same hackage package and not install the executable  
by default yet be able to install it with cabal if required then I'm  
sure upstream would be interested to hear from you. :)

Regards,
Iain
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)

iEYEARECAAYFAko9fkwACgkQPy0SnCC/zccvPQCgvIpLq8QxDyjVKi1+rqKDgiWZ
KgEAnjN4P9BwTcU5mttuzdQElezwV/r1
=cIPJ
-----END PGP SIGNATURE-----