fix

2018-07-22 16:23:11 +07:00 · 2018-07-22 16:23:11 +07:00 · 16805af557
parent 2f8251cfde
commit 16805af557
1 changed files with 1 additions and 0 deletions
--- a/index.html
+++ b/index.html
@ -18,6 +18,7 @@
      <h3><a href="http://love.chlor.ga/" title="only for humans">LOVE (1488+)</a></h3>
      <h3><a href="https://plugin.chlor.ga/" title="WeeChat plugin">The best plugin for WeeChat!</a></h3>
      <h3><a href="https://chan.chlor.ga/b/index.html" title="/b/">Хлорч — местная мелкоборда.</a></h3>
+      <h3><a href="https://homotopytypetheory.org/" title="HoTT">Homotopy Type Theory</a></h3>
    </div>
  </body>
 </html>