\overfullrule=1mm
% Just for the todonotes, can go when it's finished
-\usepackage[disable]{todonotes}
+\usepackage{todonotes}
\setuptodonotes{
backgroundcolor=white,
linecolor=black,
- size=scriptsize,
+ size=tiny,
}
%\newcommand{\todo}[2][1]{1}
%\newcommand{\listoftodos}{}
\subfile{intro/introduction}
% DSL
-\part[Prelude: Domain-Specific Languages]{Prelude:\\[2ex]\smaller{}Domain-Specific Languages}%
+\part[\'Etude: Domain-Specific Languages]{\'Etude:\\[2ex]\smaller{}Domain-Specific Languages}%
\label{prt:dsl}
\subfile{dsl/dsl_techniques} % DSL Techniques
\subfile{dsl/class_deep_embedding} % Deep embedding with class
\subfile{dsl/first-class_datatypes} % First-class data types
-\part[Exposition: Task-Oriented Programming]{Exposition:\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
+\part[Oratorio: Task-Oriented Programming]{Oratorio\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
\label{prt:top}
\subfile{top/mtask} % MTask tutorial and implementation