M public/ff.html => public/ff.html +1 -1
@@ 10,7 10,7 @@
<div class="navbar">
<a href="index.html">Home</a>
<a href="about.html">About</a>
- <a href="projects.html">Projects</a>
+ <a href="https://1010labs.org/~chin123">Labs</a>
<a href="feed.xml">RSS</a>
</div>
<hr>
M public/fossandroid.html => public/fossandroid.html +1 -1
@@ 10,7 10,7 @@
<div class="navbar">
<a href="index.html">Home</a>
<a href="about.html">About</a>
- <a href="projects.html">Projects</a>
+ <a href="https://1010labs.org/~chin123">Labs</a>
<a href="feed.xml">RSS</a>
</div>
<hr>
M public/index.html => public/index.html +1 -1
@@ 10,7 10,7 @@
<div class="navbar">
<a href="index.html">Home</a>
<a href="about.html">About</a>
- <a href="projects.html">Projects</a>
+ <a href="https://1010labs.org/~chin123">Labs</a>
<a href="feed.xml">RSS</a>
</div>
<h1> Posts </h1>
M public/languageproof.html => public/languageproof.html +1 -1
@@ 10,7 10,7 @@
<div class="navbar">
<a href="index.html">Home</a>
<a href="about.html">About</a>
- <a href="projects.html">Projects</a>
+ <a href="https://1010labs.org/~chin123">Labs</a>
<a href="feed.xml">RSS</a>
</div>
<h1> Why the Set of Languages over Any Non Empty Alphabet Is Uncountable </h1>