add connection diagrams and add todo combinators
[msc-thesis1617.git] / methods.top.tex
index e29f16d..3acfb17 100644 (file)
@@ -67,6 +67,7 @@ specialization instances for these functions and show an according interface.
 Generated interfaces can be modified with decoration operators.
 
 \section{Combinators}
+\todo{check and refine}
 \Glspl{Task} can be combined using so called \gls{Task}-combinators.
 Combinators describe relations between \glspl{Task}. \Glspl{Task} can be
 combined in parallel, sequenced and their result values can be converted to