HoTT/HoTT — pull request #498 by mikeshulman (2014-09-13 16:34:31+00:00)
Title: remove no-longer-necessary Scheme hackery in Overture

on top of #496