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 [email protected] | ICQ# 74513189 | GPG-Keyid: 4743206C JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil
