\documentclass[11pt,a4paper,dvipsnames]{article}

\include{preamble}

\begin{document}

\tableofcontents

\begin{code}[hide]
{-# OPTIONS --safe #-}

module MidnightExample.PDF where

open import MidnightExample.Ledger
\end{code}

\include{MidnightExample/Ledger}

\end{document}