agda/doc/HCAR/main.tex

\documentclass{article}

\usepackage{hcar}

\begin{document}

\input{November-2018}

\end{document}