%include poly.fmt

This is the famous ``Hello world'' example, 
written in Haskell:
\begin{code}
main  ::  IO ()
main  =   putStrLn "Hello, world!"
\end{code}