Refresh tutor info and katrin link

src/index.xhtml

@@ -60,7 +60,7 @@
                 <ul>
                     <li><b><a href="https://foss-ag.de">FOSS-AG</a>:</b> An organization of students enjoying and promoting Free and Open-Source Software.<br/></li>
                     <li><b><a href="https://fsinfo.cs.tu-dortmund.de/fsr/start">FSR Informatik</a>:</b> Chairman of the student representatives for computer science at TU Dortmund.<br/></li>
-                    <li>Tutor for Operating Systems at Lehrstuhl 12 at TU Dortmund.</li>
+                    <li>Tutor for Functional Programming at Lehrstuhl 1 at TU Dortmund.</li>
                 </ul>
             </div>
 
@@ -68,13 +68,14 @@
                 <h2>Projects</h2>
                 <ul>
                     <li><b><a href="https://eisfunke.com">eisfunke.com</a>:</b> My blog about technology, science, politics and photography.</li>
-                    <li><b><a href="https://github.com/Eisfunke/katrin">katrin</a>:</b> The vague idea of a innovative, dependently-typed functional programming and markup language.</li>
+                    <li><b><a href="https://git.eisfunke.com/research/katrin">katrin</a>:</b> The vague idea of a innovative, dependently-typed functional programming and markup language.</li>
                 </ul>
             </div>
 
             <div class="box" id="interests">
                 <h2>Interests</h2>
                 <ul>
+                    <li>Type Theory</li>
                     <li>Functional Programming</li>
                     <li>(Libertarian) Politics</li>
                     <li>Free Software</li>