fixed the citation of Quantum evolutionary paper
typo fixes in the typed lambda calculus post
updated type theory post by agda code
now dumps the whole notes directory to the homepage
added krp\'s quantum computing notes
update quantum computing course info