HoTT/HoTT — pull request #412 by JasonGross (2014-07-21 16:49:12+00:00)
Title: Don't use a hack for an argument's accomplishments (travis config)

Thanks, @ezyang.

I'll be merging this as soon as travis ok's it, since it doesn't touch the HoTT stuff.