links, index

Author: 5HT

index.html

@@ -33,6 +33,5 @@
 &mdash; <a href='articles/hott/hott.pdf'>Issue III: Homotopy Type Theory</a><br>
 &mdash; <a href='articles/topos/topos.pdf'>Issue VIII: Formal Set Topos</a><br>
 &mdash; <a href='articles/pts/pts.pdf'>Addendum I: Pure Type System</a><br>
-&mdash; <a href='articles/equ/equ.pdf'>Addendum II: Many Faces of Equality</a><br></p><p><!-- Groupoid Infinity granted <a href="https://groupoid.space/misc/internship/">Internship Program</a>. <br -->
-Groupoid Infinity is opening <a href="https://groupoid.space/institute/">Applied Math Institute</a>.
-</p></div></article><hr><link rel="stylesheet" href="https://groupoid.space/main.css"><footer class="footer"><a href="https://5HT.co/license/"><img class="footer__logo" src="https://longchenpa.guru/seal.png" width="50"></a><span class="footer__copy">2016&mdash;2025 &copy; <a rel="me" href="https://twiukraine.com/@5HT" style="color:Lavender;">Namdak Tönpa</a></span><script src="https://groupoid.space/highlight.js"></script><script src="https://groupoid.space/bundle.js"></script></footer>
+&mdash; <a href='articles/equ/equ.pdf'>Addendum II: Many Faces of Equality</a><br></p><center><br>🧊 <br><br><br>
+</center></div></article><hr><link rel="stylesheet" href="https://groupoid.space/main.css"><footer class="footer"><a href="https://5HT.co/license/"><img class="footer__logo" src="https://longchenpa.guru/seal.png" width="50"></a><span class="footer__copy">2016&mdash;2025 &copy; <a rel="me" href="https://twiukraine.com/@5HT" style="color:Lavender;">Namdak Tönpa</a></span><script src="https://groupoid.space/highlight.js"></script><script src="https://groupoid.space/bundle.js"></script></footer>

index.pug

@@ -268,9 +268,8 @@ block content
                 &mdash; <a href='articles/topos/topos.pdf'>Issue VIII: Formal Set Topos</a><br>
                 &mdash; <a href='articles/pts/pts.pdf'>Addendum I: Pure Type System</a><br>
                 &mdash; <a href='articles/equ/equ.pdf'>Addendum II: Many Faces of Equality</a><br>
-            p.
-                <!-- Groupoid Infinity granted <a href="https://groupoid.space/misc/internship/">Internship Program</a>. <br -->
-                Groupoid Infinity is opening <a href="https://groupoid.space/institute/">Applied Math Institute</a>.
+            center.
+                <br>🧊 <br><br><br>
 
 hr
 include footer