mirror of
https://github.com/janishutz/eth-summaries.git
synced 2026-03-14 17:00:05 +01:00
14 lines
189 B
TeX
14 lines
189 B
TeX
\documentclass{article}
|
|
|
|
\input{~/projects/latex/dist/recommended.tex}
|
|
|
|
\setup{Formal Methods and Functional Programming}
|
|
|
|
\begin{document}
|
|
\startDocument
|
|
\usetcolorboxes
|
|
|
|
|
|
|
|
\end{document}
|