Re: character syntax

On Friday 08 February 2002 14:35, Ketil Z. Malde wrote:

Jorge Adriano writes:

...

Haskell looks nice... Isabell looks beautiful :-)

I'm not familiar with Isabell, but aren't we comparing apples and oranges here? E.g. you can prettify .lhs pretty nicely with one of the LaTeX packages available.

Well yes :-) You said "Personally, I think the Haskell syntax is beautiful", and in my answer I talked about the way it looked on Xemacs, not the syntax. But not sure if we are talking about the same thing here, how do you prettify the .lhs files? Are you talking about the dvi you get in the end or the way it looks while editing the code?

...

And no, I don't have the time to do something better myself now, so I'll just stick to it :-)

If somebody would come up with a mode that used lambdas and arrows to render things nicely in my editor, I wouldn't mind. But I don't think the benefit for me would be great enough to justify the effort (I'm not much of a lisp hacker).

I wouldn't mind either. Everything looks really nice, making your code really easy to read, it's not just the greek leters, the 'forall's, the arrows '=>', the 'and's and the 'or's. But the Isabell/Isar/Proof General (which I haven't used in a long time) mode had more to it than just that. The menus were pretty good, buttons (with icons) for some commands... it turns Xemacs into a very nice GUI for isabelle. J.A.