Literate PureScript

awk '
    /^\\end{verbatim}/ { verbatim = 0 }
    verbatim  { print }
    !verbatim {
        # this retains the original line numbers
        print ""
    }
    /^\\begin{verbatim}/ { verbatim = 1 }
' <<'EOF'
\documentclass{article}
\begin{document}

Let's start with boilerplate:

\begin{verbatim}
module Main where

import Control.Monad.Eff.Console (log)
\end{verbatim}

Let's have fun:

\begin{verbatim}
main = log "Hello, world!"
\end{verbatim}

\end{document}
EOF