Re: character syntax

Personally, I think the Haskell syntax is beautiful. Programs are readable, yet concise. That's more important to me than correct parenthesis matching. Haskell looks nice... Isabell looks beautiful :-) (in Xemacs with the X symbol package+Proof General etc) I whish I could have lambdas, alphas and all that .

(BTW, I'm a happy Emacs user -- e.g. see my headers -- and I find the modes available pretty much sufficient.) I'm not... like I said working with Isabell is great. Haskell mode is pretty basic when compared to it. And no, I don't have the time to do something better myself now, so I'll just stick to it :-)

J.A.