\chapter{AGs with Dependent Types}
\label{chapt.dependent-ags}

%let thesis = True
%let fullversion = false

%include depend.lhs