add back syntax highlighting

1 files changed, 3 insertions, 3 deletions

diff --git a/index.html b/index.html
index 6cb2f5b..7aaff38 100644
--- a/index.html
+++ b/index.html
@@ -12,7 +12,7 @@ title: my special corner of the web
 	</div>
 </div>
 <div id="details">
-	<h2> Research </h2>
+	<h2> research </h2>
 	<p>
 		I am particularly interested in <i>language</i> and its relation to <i>meaning</i>.<br>
 		This manifests itself in different fashions in different fields.
@@ -25,8 +25,8 @@ title: my special corner of the web
 			In computer science: I care about <b>language interoperability</b>: the preservation of meaning across languages with differing types systems, operational semantics, and conventions.
 		</li>
 		<li>
-			In mathematics: I have a particular interest in <b>foundations</b> and <b>category theory</b>.
+			In mathematics: I have a particular interest in <b>foundations</b> and <b>category theory</b>: and how they inform what we <i>mean</i> by proof. This in turn has manifested an interest in theorem provers and proof mechanization.
 		</li>
 	</ul>
-	<p> I am actively looking for a research position on this topic, starting Sep. 2025. If you know a professor who is hiring students and working on any of the above, please send me an email! </p>
+	<p> I am actively looking for a research position on this topic, to start Sep. 2025. If you know a professor who is hiring students and working on any of the above, please send me an email! </p>
 </div>