Merge branch 'master' of git.martlubbers.net:msc-thesis1617

[msc-thesis1617.git] / methods.top.tex

diff --git a/methods.top.tex b/methods.top.tex
index c145eca..9d07eec 100644 (file)
--- a/methods.top.tex
+++ b/methods.top.tex
@@ -141,8 +141,8 @@ shares residing in memory are available as well. The three main operations on
 shares are atomic in the sense that during reading no other \glspl{Task} are
 executed.  The system provides useful functions to transform, map and combine
 \glspl{SDS} using combinators. The system also provides functionality to
-inspect the value of a \gls{SDS} and act upon a change. \Glspl{Task} waiting on
-a \gls{SDS} to change are notified when needed. This results in low resource
+inspect the value of an \gls{SDS} and act upon a change. \Glspl{Task} waiting on
+an \gls{SDS} to change are notified when needed. This results in low resource
 usage because \glspl{Task} are never constantly inspecting \gls{SDS} values but
 are notified.
 
@@ -178,7 +178,7 @@ predicate. This notification predicate is a function \CI{p -> Bool} where
 \CI{p} is the parametric lens type. This allows programmers to create a big
 \gls{SDS}, and have \glspl{Task} only look at parts of the big \gls{SDS}. This
 technique is used in the current system in memory shares. The \CI{IWorld}
-contains a map that is accessible through a \gls{SDS}. While all data is
+contains a map that is accessible through an \gls{SDS}. While all data is
 stored in the map, only \glspl{Task} looking at a specific entry are notified
 when the structure is updated. The type of the parametric lens is the key in
 the map.