HoTT/HoTT — pull request #618 by JasonGross (2014-11-19 16:24:30+00:00)
Title: Link to Dan Licata's blog post in STYLE.md

I'd like one pair of eyes to check that this is a reasonable thing to do. (Again, would be nice to have this merged in the next hour.)