Hi, 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. Greetings, Joachim -- 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