##### Views

(Difference between revisions)

Question: Would it be possible to have an markup tag, say <haskell-pretty> which would utilize the [itex] environment to produce neat looking things like $\operatorname{foo} :: \forall \alpha \beta . \alpha \rightarrow \beta$, corresponding to
foo :: forall a b. a -> b
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.
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)

If that happens then users will not be able to cut and paste code to try it out. Haskell looks the way Haskell looks, this wiki should embrace that, and help users understand it, not try to change it --Neil Mitchell 01:05, 14 March 2006 (UTC)