lhs2tex-1.12: Examples/HelloWorld.lhs
\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}