HoTT/HoTT — pull request #642 by JasonGross (2014-12-16 09:18:51+00:00)
Title: Make dpdgraph compile again

Unfortunately, it still stack-overflows. I might need some help from
@mattam82, or I might need to figure out how to actually debug OCaml
code. I presume I managed to make it loop on primitive projections
somewhere...