reverse chronological order in tag/archives
a new compiler for loading posts
refactored tag page creation to use loadPost
some reformating of blog posts
email instructions added on contact page
missing full stop
Typed lambda calculus blog post
Merge added the typed lambda calculus blog post.
some typos
added typed lambda calulus to toc of type theory posts