\documentclass{article} \usepackage{agda} \begin{document} \begin{code} module Indenting7 where module A₁ where module A₂ where module B₁ where module B₂ where module C₁ where module C₂ where module D₁ where module D₂ where module C₃ where module C₄ where module A₃ where module B₃ where module C₅ where module D₃ where module C₆ where module B₄ where module A₄ where \end{code} \end{document}