\documentclass{article}

\input{~/projects/latex/dist/recommended.tex}

\setup{Formal Methods and Functional Programming}

\begin{document}
\startDocument
\usetcolorboxes



\end{document}
