-% First-class data types
-\subfile{domain-specific_languages/first-class_datatypes}
-
-% Stack computations?
-\subfile{domain-specific_languages/strongly-typed_multi-view_stack-based_computations}
-
-\mypart{prt:top}{Exposition}{Task-Oriented Programming for the Internet of Things}%
-
-\subfile{mtask/mtask}
-
-\mypart{prt:tvt}{Transformation}{Tiered vs.\ tierless programming}%
-
-\subfile{tiered_vs._tierless_programming/smart_campus}
-
-\bookmarksetup{startatroot} % descend back out of the previous part