HoTT/HoTT — pull request #532 by JasonGross (2014-09-27 22:45:39+00:00)
Title: Make a notation for trunc_S

iThis closes #525.

I haven't tested it locally yet, because the newest version of trunk broke a number of things, so I'm relying on travis.