HoTT/HoTT — pull request #605 by JasonGross (2014-11-09 07:20:39+00:00)
Title: Port pointwise adjunctions from catdb

It is, unfortunately, the slowest thing in the repo to date, by a factor
of two. (It's much faster in the pinned version of Coq, though, than in current trunk.)