Renamed all the files to .md vs .markdown

--HG--
rename : posts/2013-08-23-blog-re-init.markdown => posts/2013-08-23-blog-re-init.md
rename : posts/2013-08-23-leaving-go.markdown => posts/2013-08-23-leaving-go.md
rename : posts/2013-09-08-teens-and-fp.markdown => posts/2013-09-08-teens-and-fp.md
rename : posts/2013-09-27-seeing-into-the-future.md => posts/2013-09-12-five-things-I-hate.md
rename : posts/2013-10-01-lazy-recursion.markdown => posts/2013-10-01-lazy-recursion.md
rename : posts/2013-10-06-forall-means-all.markdown => posts/2013-10-06-forall-means-all.md
rename : posts/2013-10-14-please-dont-learn-cat-theory.markdown => posts/2013-10-14-please-dont-learn-cat-theory.md
rename : posts/2013-10-21-representable-functors.markdown => posts/2013-10-21-representable-functors.md
rename : posts/2013-10-22-category-theory-in-haskell.markdown => posts/2013-10-22-category-theory-in-haskell.md
rename : posts/2013-11-09-iso-recursive-types.markdown => posts/2013-11-09-iso-recursive-types.md
rename : posts/2013-11-29-sports.markdown => posts/2013-11-29-sports.md
rename : posts/2013-12-03-primes-in-haskell.markdown => posts/2013-12-03-primes-in-haskell.md
rename : posts/2013-12-15-major-life-news.markdown => posts/2013-12-15-major-life-news.md
rename : posts/2013-12-17-haskell-sieves.markdown => posts/2013-12-17-haskell-sieves.md
rename : posts/2013-12-24-favorite-dependent-types.markdown => posts/2013-12-24-favorite-dependent-types.md
rename : posts/2014-01-14-existential.markdown => posts/2014-01-14-existential.md
rename : posts/2014-01-28-trie.markdown => posts/2014-01-28-trie.md
rename : posts/2014-02-10-types-kinds-and-sorts.markdown => posts/2014-02-10-types-kinds-and-sorts.md
rename : posts/2014-03-06-church.markdown => posts/2014-03-06-church.md
rename : posts/2014-03-07-church-the-sequel.markdown => posts/2014-03-07-church-the-sequel.md
rename : posts/2014-03-10-revenge-of-churchrep.markdown => posts/2014-03-10-revenge-of-churchrep.md
rename : posts/2014-04-08-bargain-coroutines.markdown => posts/2014-04-08-bargain-coroutines.md
rename : posts/2014-04-14-either-and-conts.markdown => posts/2014-04-14-either-and-conts.md
rename : posts/2014-04-25-you-could-have.markdown => posts/2014-04-25-you-could-have.md
rename : posts/2014-05-05-i-used-c-correctly.markdown => posts/2014-05-05-i-used-c-correctly.md
rename : posts/2014-05-19-like-recursion-but-cooler.markdown => posts/2014-05-19-like-recursion-but-cooler.md
rename : posts/2014-06-07-c-of-scheme.markdown => posts/2014-06-07-c-of-scheme.md
rename : posts/2014-06-14-like-recursion-but-cooler-2.markdown => posts/2014-06-14-like-recursion-but-cooler-2.md
rename : posts/2014-06-23-teaching-with-minecraft.markdown => posts/2014-06-23-teaching-with-minecraft.md
rename : posts/2014-06-28-real-world-agda.markdown => posts/2014-06-28-real-world-agda.md
rename : posts/2014-07-09-dissecting-crush.markdown => posts/2014-07-09-dissecting-crush.md
rename : posts/2014-07-10-reading-logict.markdown => posts/2014-07-10-reading-logict.md
rename : posts/2014-07-15-reading-extensible-effects.markdown => posts/2014-07-15-reading-extensible-effects.md
rename : posts/2014-07-19-church-tutorial.markdown => posts/2014-07-19-church-tutorial.md
rename : posts/2014-07-30-many-shades-of-halting.markdown => posts/2014-07-30-many-shades-of-halting.md
rename : posts/2014-08-06-equality.markdown => posts/2014-08-06-equality.md
rename : posts/2014-08-25-dep-types-part-1.markdown => posts/2014-08-25-dep-types-part-1.md
rename : posts/2014-09-21-what-are-dep-types-2.markdown => posts/2014-09-21-what-are-dep-types-2.md
rename : posts/2014-09-29-abstraction-existentials.markdown => posts/2014-09-29-abstraction-existentials.md
rename : posts/2014-10-17-quotients.markdown => posts/2014-10-17-quotients.md
rename : posts/2014-10-24-github.markdown => posts/2014-10-24-github.md
rename : posts/2014-10-27-focusing.markdown => posts/2014-10-27-focusing.md
rename : posts/2014-10-28-stg.markdown => posts/2014-10-28-stg.md
Style fixes in site.hs
Renamed other file extensions

--HG--
rename : about.markdown => about.md
rename : contact.markdown => contact.md
Removed some crusty js code from post template
Keeping the pragma on top is important
Added some clarification on ambigious thunk vs closure
Added tag master for changeset 68efa30a5a88