From fa650ef14f1e5d9fa740c8f16ce09c07c8c435cd Mon Sep 17 00:00:00 2001
From: Pierre Krafft <kpierre@outlook.com>
Date: Sun, 13 May 2018 15:01:53 +0200
Subject: [PATCH] Make SimulationEnvironment a literate agda file

---
 ...ulationEnvironment.agda => SimulationEnvironment.lagda.tex} | 3 +++
 1 file changed, 3 insertions(+)
 rename src/{SimulationEnvironment.agda => SimulationEnvironment.lagda.tex} (99%)

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}