HoTT/HoTT — pull request #171 by JasonGross (2013-08-13 16:55:59+00:00)
Title: Create a sledge-hammer for transport with funext

This closes #156.