</span> <span class="kind">object</span></span> <span class="symbol"><a href="HoTT$.html" title="Core of Homotopy Type Theory (HoTT) implementation."><span class="name">HoTT</span></a></span><p class="shortcomment cmt">Core of Homotopy Type Theory (HoTT) implementation.</p><div class="fullcomment"><div class="comment cmt"><p>Core of Homotopy Type Theory (HoTT) implementation.
Includes:
-   terms : <a href="HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>,
