HoTT/HoTT — pull request #60 by mikeshulman (2013-02-01 17:23:16+00:00)
Title: Draft of a style guide

Here is a proposed draft for a style guide, incorporating suggestions from Mike Nahas. Feel free to raise objections.