X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=methods.tex;h=9436474229d67fc89ffdac9acceb57057fbd7fdd;hb=c1a2d537de7ff3d730d26658daa822b2f03ea110;hp=a4c9138e94693f7defee7373356fe411d9134ab3;hpb=7910fda15825b983fd6b1309b07872616cc6367b;p=msc-thesis1617.git

diff --git a/methods.tex b/methods.tex
index a4c9138..9436474 100644
--- a/methods.tex
+++ b/methods.tex
@@ -1,21 +1,3 @@
-\section{\acrlong{TOP}}
-\gls{TOP} is a recent new programming paradigm implemented as
-\gls{iTasks}~\cite{achten_introduction_2015} in
-the pure lazy functional language \gls{Clean}
+\input{methods.top.tex}
 
-\todo{Main terms}
-The lazy functional programming language based on graph rewriting
-\gls{Clean}~\cite{brus_cleanlanguage_1987}
-
-\section{\acrlong{DSL}s}
-
-\section{Devices}
-
-\subsection{Specification}
-
-\subsection{Communication}
-
-\section{mTasks}
-\subsection{\gls{DSL}}
-
-\subsection{Shares}
+\input{methods.dsl.tex}