\documentstyle{article}
\begin{document}
\section{Introduction}
This is a trivial program that prints the first 20
factorials. It should have 2 lines of code.
\begin{code}
main :: IO ()
main = print [ (n, product [1..n]) | n <- [1..20]]
\end{code}
\end{document}