[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: RFS: agda


Am Freitag, den 19.06.2009, 15:02 +0100 schrieb Iain Lane:
> I'm not particularly fussed about how it enters to be honest, but my reasoning for putting it in the same source package is because the code is only three lines long* and I didn't want to go for the overhead of NEW review etc etc for such a trivial package. I'll do it if people feel strongly about this though.
> Regards,
> Iain
> * Indeed, the entire code is:
>   module Main (main) where
>   import qualified Agda.Main
>   main = Agda.Main.main

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.


Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata

Attachment: signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil

Reply to: