ode> library, is integrated with homotopy type theory
in the <a href="scalahott/index.html" name="provingground.scalahott" id="provingground.scalahott" class="extype">scalahott</a> package</p><p>We have implemented a functor based approach to translation in the <a href="translation/index.html" name="provingground.translation" id="provingground.translation" class="extype">translation</a>
package, used for <code><code>nlp</code></code> as well as <code><code>serialization</code></code> and <code><code>parsing