HoTT/HoTT — pull request #250 by JasonGross (2013-11-16 00:57:32+00:00)
Title: Add a special case of transport_compose

This way, [SearchAbout transport idmap.] gives something sensical.

This closes #211.