\documentclass[12pt]{book}
\usepackage{mathpartir,cancel,cmll,textcomp,environ}
%\usepackage{appendix}  % for chapter appendices, use \begin{subappendices}
\newif\ifcref\creftrue
\input{decls}
\title{Categorical logic from a categorical point of view}
\author{Michael Shulman}
\date{DRAFT for AARMS Summer School 2016}
\input{macros}
\usepackage{version}

\usepackage[inner=2.5cm,outer=1.5cm,top=2.5cm,bottom=2.5cm]{geometry}

\includeversion{props}
\includeversion{wip}
%\includeonly{dedsys}
\begin{document}
\maketitle

\frontmatter

\include{preface}

\mainmatter

% https://arxiv.org/abs/1908.05839 (overview of bidirectional typing)

% Proof theory of the cut rule (Cockett-Seely)

\setcounter{tocdepth}{2}
\tableofcontents

\setcounter{chapter}{-1}

\include{intro}

\include{unary}

\include{simple}

\include{classical}

\include{fol}

%\include{hol}

%\include{dtt}

\appendix

\include{dedsys}

\bibliographystyle{alpha}
\bibliography{all}

\end{document}