Site updated at 2014-12-11 08:33:23 UTC
Merge branch 'gh-pages' of https://github.com/siddhartha-gadgil/LogicTypesSpaces into gh-pages

Conflicts:
	atom.xml
Site updated at 2014-12-11 08:37:02 UTC