HoTT/HoTT — pull request #150 by JasonGross (2013-07-13 20:50:26+00:00)
Title: Add types/Sum

This closes #127.

This makes (at least) partial progress on #53.