[Haskell-cafe] Re: WYSIWYG literate programming
> "Stefan" == Stefan Monnier writes: Stefan> In any case I've added a note to mention that all you need to do Stefan> is (setq haskell-font-lock-symbols t). Thanks - nice refactoring for my emacs-haskell.el :-D Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D pgpFG4rx1nvPo.pgp Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: WYSIWYG literate programming
> http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_for_Haskell-mode.29 I'm pretty sure this text wasn't there last time I looked, yet last time I looked was already long after Haskell-mode integrated such a feature. In any case I've added a note to mention that all you need to do is (setq haskell-font-lock-symbols t). Stefan ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: WYSIWYG literate programming
> "G" == Gour writes: > "Massimiliano" == Massimiliano Gubinelli writes: Massimiliano> As far as Haskell is concerned, a good interface, would Massimiliano> allow to bypass programs like lhs2tex or in general allow Massimiliano> for "beautyful editing...". Of course not everyone has the Massimiliano> same concerns... G> Have you tried Emacs with Pretty Lambda for Haskell-mode? G> http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_for_Haskell-mode.29 At http://xtalk.msk.su/~ott/common/emacs/rc/emacs-rc-pretty-lambda.el.html you can find slightly modified version of version of pretty lambda code from haskell wiki - i added several symbols, and fix regex to work properly with symbols like ===, etc. -- With best wishes, Alex Ott, MBA http://alexott.blogspot.com/ http://xtalk.msk.su/~ott/ http://alexott-ru.blogspot.com/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: WYSIWYG literate programming
> "Mads" == Mads Lindstrøm writes: Mads> I have never tried TexMacs, but newer versions of LyX do seem to Mads> have a more modern interface than TexMacs. I do not know have easy Mads> LyX is to modify to your needs though. Right. And LyX has(had) support for literate programming. Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D pgpuHF3ySjY6L.pgp Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: WYSIWYG literate programming
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 2009/1/27 Gour : >> "Massimiliano" == Massimiliano Gubinelli writes: -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREKAAYFAkl/GoMACgkQvpDo5Pfl1oJc5ACeMb5om8j5Jn9Y5k7I0enXYcMY 1dUAn1D8TzKQ5URYVjvVl9XxdReGQ9QB =umdo -END PGP SIGNATURE- > > Massimiliano> As far as Haskell is concerned, a good interface, would > Massimiliano> allow to bypass programs like lhs2tex or in general allow > Massimiliano> for "beautyful editing...". Of course not everyone has > Massimiliano> the same concerns... > > Have you tried Emacs with Pretty Lambda for Haskell-mode? > > http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_for_Haskell-mode.29 > > > Sincerely, > Gour Or darcs Yi, which has a very similar feature. -- gwern ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: WYSIWYG literate programming
> "Massimiliano" == Massimiliano Gubinelli writes: Massimiliano> As far as Haskell is concerned, a good interface, would Massimiliano> allow to bypass programs like lhs2tex or in general allow Massimiliano> for "beautyful editing...". Of course not everyone has Massimiliano> the same concerns... Have you tried Emacs with Pretty Lambda for Haskell-mode? http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_for_Haskell-mode.29 Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D pgpnZqsn8aCUN.pgp Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: WYSIWYG literate programming
> "Massimiliano" == Massimiliano Gubinelli writes: Massimiliano> Hi, I would like to "advertise" TeXmacs Massimiliano> (http://www.texmacs.org/) to the Haskell comunity as a Massimiliano> possible front-end for literate programming in Haskell Massimiliano> (and GHCI interaction). Have you tried Leo (http://webpages.charter.net/edreamleo/front.html)? Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D pgpQnZkneB5PW.pgp Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe