lhs2tex-1.12: doc/HelloWorldInput.lhs

%include verbatim.fmt
\begingroup
\let\origtt=\tt
\def\tt#1#2{\origtt}

>\documentclass{article}
>%include polycode.fmt
>\begin{document}
>This is the famous ``Hello world'' example, 
>written in Haskell:
>\begin{code}
>main  ::  IO ()
>main  =   putStrLn "Hello, world!"
>\end{code}
>\end{document}

\endgroup