From e9dd9fada06fa7ea743238e23d3ffdfcb5f1a56c Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 25 Jul 2024 12:22:07 -0700
Subject: add back syntax highlighting

---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'index.html')

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>
-- 
cgit v1.2.3-70-g09d2