split up more and updatE

[phd-thesis.git] / top / imp.tex

diff --git a/top/imp.tex b/top/imp.tex
index 6a11ce2..e70bc36 100644 (file)
--- a/top/imp.tex
+++ b/top/imp.tex
@@ -2,7 +2,7 @@
 
 \input{subfilepreamble}
 
-\setcounter{chapter}{4}
+\setcounter{chapter}{6}
 
 \begin{document}
 \input{subfileprefix}
@@ -623,7 +623,7 @@ Execution of a task is always an interplay between the interpreter and the rewri
 
 When a new task is received, the main expression is evaluated to produce a task tree.
 A task tree is a tree structure in which each node represents a task combinator and the leaves are basic tasks.
-If a task is not initialized yet, i.e.\ the pointer to the current task tree is still null, the byte code of the main function is interpreted.
+If a task is not initialised yet, i.e.\ the pointer to the current task tree is still null, the byte code of the main function is interpreted.
 The main expression always produces a task tree.
 Execution of a task consists of continuously rewriting the task until its value is stable.