Personal tools

HaskellWiki talk:Syntax highlighting

From HaskellWiki

Revision as of 23:38, 13 March 2006 by Ashley Y (Talk | contribs)

Jump to: navigation, search
Question: Would it be possible to have an markup tag, say <haskell-pretty> which would utilize the <math> environment to produce neat looking things like \operatorname{foo} :: \forall \alpha \beta . \alpha \rightarrow \beta, corresponding to
foo :: forall a b. a -> b
. — asks SebastianSylvan
It may be possible, but there are issues. Bear in mind Haskell type variables can be more than one character:
return :: (Monad monad) => a -> monad a
. I also find the TeX a bit ugly placed in the text.
An alternative might be to use Unicode more effectively: "foo :: ∀ m a b. (Monad m) ⇒ a → m b". —Ashley Y 23:38, 13 March 2006 (UTC)