Octopress init
Site updated at 2014-12-01 04:17:59 UTC
Merge branch 'gh-pages' of https://github.com/siddhartha-gadgil/LogicTypesSpaces into gh-pages

Conflicts:
	assets/jwplayer/glow/glow.xml
	atom.xml
	blog/2014/03/18/foundations-objects/index.html
	blog/2014/03/19/inductive-types-natural-numbers/index.html
	blog/2014/03/21/dependent-function-types/index.html
	blog/2014/03/22/fun-with-lists/index.html
	blog/2014/03/26/logic-from-types/index.html
	blog/2014/04/24/truth-and-deduction/index.html
	blog/archives/index.html
	index.html
	javascripts/github.js
	javascripts/libs/jXHR.js
	javascripts/libs/jquery.min.js
	javascripts/libs/swfobject-dynamic.js
	javascripts/modernizr-2.0.js
	javascripts/octopress.js
	javascripts/pinboard.js
	javascripts/twitter.js
	robots.txt
	sitemap.xml
	stylesheets/screen.css
Site updated at 2014-12-04 04:06:04 UTC