Clarify
Remove TODO to site, and cite myself :D

All pro academics cite themselves ^^
Remove kinda "done" TODOs about finding sources
Remove TODO
Remove strangely used word
Fix TODO: Add citation
Cap
Ok to remove TODO
Fix TODO: Remove Agda, Add Total Functional
Remove TODO
Reword
Improve sentence
Remove bad paragraph
Remove TODO: Detail of stack in later chapters
Remove blah
No pic of stack for now
Correctify
Tell latex-mk we have bibtex

Hopefully I don't need to clean each time on rebuild now!
Add rule for creating pdfs with dot
Add debug statement in make