diff --git a/src/SimulationEnvironment.agda b/src/SimulationEnvironment.lagda.tex
similarity index 99%
rename from src/SimulationEnvironment.agda
rename to src/SimulationEnvironment.lagda.tex
index 4cb8d3a..7aaf64f 100644
--- a/src/SimulationEnvironment.agda
+++ b/src/SimulationEnvironment.lagda.tex
@@ -1,3 +1,4 @@
+\begin{code}
 module SimulationEnvironment where
 open import ActorMonad
 open import Prelude
@@ -533,3 +534,5 @@
             ; messages-valid = mv
             ; blocked-no-progress = bib
             })
+
+\end{code}