X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=methods.mtask.tex;h=6d1284872909509ff6e0b3196f18a487815d3f1c;hb=a4d108b9046bfd1d94e8b986a00c00090391d7b6;hp=38930c5bc762c6fd47182bcca9377003583a0563;hpb=9eea8cc171594ce55c6b36135482df9cd5027627;p=msc-thesis1617.git

diff --git a/methods.mtask.tex b/methods.mtask.tex
index 38930c5..6d12848 100644
--- a/methods.mtask.tex
+++ b/methods.mtask.tex
@@ -14,9 +14,9 @@ literature.
 
 A view for the \gls{mTask}-\gls{EDSL} is a type with two free type
 variables\footnote{kind \CI{*->*->*}.} that implements some of the classes
-given. The types do not have to be present as fields in the higher kinded view
-and can, and will most often, be exclusively phantom types. Thus, views are of
-the form:\\\CI{:: v t r = ...}.  The first type variable will be the type of the
+given. The types do not have to be present as fields in the view and can, and
+will most often, be exclusively phantom types. Thus, views are of the
+form:\\\CI{:: v t r = ...}. The first type variable will be the type of the
 view. The second type variable will be the type of the \gls{EDSL}-expression
 and the third type variable represents the role of the expression. Currently
 the role of the expressions form a hierarchy. The three roles and their