restructure

[phd-thesis.git] / appx / clean_for_haskell_programmers.tex

diff --git a/appx/clean_for_haskell_programmers.tex b/appx/clean_for_haskell_programmers.tex
index adddcbf..ff24c0e 100644 (file)
--- a/appx/clean_for_haskell_programmers.tex
+++ b/appx/clean_for_haskell_programmers.tex
@@ -1,12 +1,8 @@
 \documentclass[../thesis.tex]{subfiles}
 
-\begin{document}
-
-\ifSubfilesClassLoaded{
-       \pagenumbering{arabic}
-}{
-}
+\include{subfilepreamble}
 
+\begin{document}
 \chapter{\texorpdfstring{\glsentrytext{CLEAN}}{Clean} for \texorpdfstring{\glsentrytext{HASKELL}}{Haskell} Programmers}%
 \label{chp:clean_for_haskell_programmers}
 
@@ -21,7 +17,7 @@ While \gls{CLEAN} and \gls{HASKELL} were both conceived around 1987 and have sim
 This section describes some of the history of \gls{CLEAN} and provides a crash course in \gls{CLEAN} pecularities written for \gls{HASKELL} programmers.
 It is based on the 
 
-\Gls{CLEAN}---acronym for Clean \acrlong{LEAN}~\citep{barendregt_towards_1987}---, was originally designed as a \gls{GRS} core language but quickly served as an intermediate language for other functional languages~\citep{brus_clean_1987}.
+\Gls{CLEAN}---acronym for Clean \glsxtrlong{LEAN}~\citep{barendregt_towards_1987}---, was originally designed as a \gls{GRS} core language but quickly served as an intermediate language for other functional languages~\citep{brus_clean_1987}.
 In the early days it has also been called \emph{Concurrent} \gls{CLEAN}~\citep{nocker_concurrent_1991} but these days the language has no support for this anymore.
 Fast forward thirty years, \gls{CLEAN} is now a robust language with state-of-the-art features and is actually used in industry as well as academia---albeit in select areas of the world~\citep{plasmeijer_clean_2021}.