%% Andreas, 2021-08-19, also test #5398 \documentclass{article} \usepackage{agda} \begin{document} \begin{code} module Issue2588 where {- -} {- One line -} {- Two lines -} {- First paragraph. Second paragraph. -} \end{code} \end{document}