Make SimulationEnvironment a literate agda file

Zalastax · May 13, 2018 · fa650ef · fa650ef
1 parent 2fb37ac
commit fa650ef
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/SimulationEnvironment.agda → src/SimulationEnvironment.lagda.tex b/src/SimulationEnvironment.agda → 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}