agda/test/LaTeXAndHTML/succeed/Indenting7.lagda

\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}