note typeset using LaTeX
I don't have any tables
add todo for Applications chapter
write intro for HoTT
add some todos to the introduction