lhs2tex-1.13: Examples/ArrowComment.lhs
\documentclass{article}
%include polycode.fmt
\begin{document}
%format --> = "\longrightarrow "
> --> ---- > comment
\end{document}
\documentclass{article}
%include polycode.fmt
\begin{document}
%format --> = "\longrightarrow "
> --> ---- > comment
\end{document}