wolfgang:
> Hello,
>
> how do I insert non-ASCII and maybe even non-Latin-1 characters in Haddock
> documentation?
>
> Wolfgang
Looks like it might be difficult. The haddock lexer src has:
$alphanum = [A-Za-z0-9]
So, non-ascii might not be lexed.
-- Don