[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-30 Thread Gour
Stefan == Stefan Monnier monn...@iro.umontreal.ca 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:

Re: [Haskell-cafe] Re: WYSIWYG literate programming

2009-01-28 Thread Alex Ott
G == Gour writes: Massimiliano == Massimiliano Gubinelli m.gubine...@gmail.com 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

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-28 Thread Stefan Monnier
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

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gour
Massimiliano == Massimiliano Gubinelli m.gubine...@gmail.com 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).

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gour
Massimiliano == Massimiliano Gubinelli m.gubine...@gmail.com 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

Re: [Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gwern Branwen
-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

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gour
Mads == Mads Lindstrøm mads_lindstr...@yahoo.dk 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