# HaskellWiki talk:Syntax highlighting

### From HaskellWiki

(Difference between revisions)

(moved from project page) |
|||

Line 1: | Line 1: | ||

Question: Would it be possible to have an markup tag, say <code><haskell-pretty></code> which would utilize the <code><math></code> environment to produce neat looking things like <math>\operatorname{foo} :: \forall \alpha \beta . \alpha \rightarrow \beta</math>, corresponding to <hask>foo :: forall a b. a -> b</hask>. ''— asks [[User:SebastianSylvan|SebastianSylvan]]'' |
Question: Would it be possible to have an markup tag, say <code><haskell-pretty></code> which would utilize the <code><math></code> environment to produce neat looking things like <math>\operatorname{foo} :: \forall \alpha \beta . \alpha \rightarrow \beta</math>, corresponding to <hask>foo :: forall a b. a -> b</hask>. ''— asks [[User:SebastianSylvan|SebastianSylvan]]'' |
||

+ | |||

+ | :It may be possible, but there are issues. Bear in mind Haskell type variables can be more than one character: <hask>return :: (Monad monad) => a -> monad a</hask>. 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". —[[User:Ashley Y|Ashley Y]] 23:38, 13 March 2006 (UTC) |

## Revision as of 23:38, 13 March 2006

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 , 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: . I also find the TeX a bit ugly placed in the text.return :: (Monad monad) => a -> monad a

- 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)