typo fix in Raaz blog post
tags of posts become keywords for meta
arxiv index page incorrect tagcloud in keywords fixed
fixing the link to the assignment
added pandoc plugin for link expansion
added wikipedia link expansion
assignment 2 announcement
link expansion is within the compiler monad now
Merged link expansion
some shortening of wikipedia links
some tweaks to code coloring
added the type theory series blog entry
increasing the size of post title
merging first post on type theory
fixing the heading level in the Raaz post
added the due date of second assignment
some clean up of type theory series blog entry
added Quantum computing course page
link to quantum computing from main page
added the post on lambda calculus