Dependent Types: Resources and Errata
David Aspinall
and
Martin Hofmann
A
list of errata
for the chapter.