From a73a92287ecfb4466fc8bc557542ad00efd65a25 Mon Sep 17 00:00:00 2001
From: Youwen Wu <youwenw@gmail.com>
Date: Mon, 9 Jun 2025 00:28:43 -0700
Subject: [PATCH] fix: use curly quotes

---
 public/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/public/index.html b/public/index.html
index 7cb3d47..5e1d381 100644
--- a/public/index.html
+++ b/public/index.html
@@ -110,12 +110,12 @@
 	  <td>Intrepid Haskeller, undergrad category theorist, founding member</td>
 	</tr>
 	<tr>
-	  <td>Nicholas "nluo"</td>
+	  <td>Nicholas “nluo”</td>
 	  <td><a target="_blank" href="https://github.com/Nluo923">github.com/Nluo923</a></td>
 	  <td>osu gamer, yuri enjoyer, founding member</td>
   </tr>
   <tr>
-	  <td>Arvind "Quantalabs"</td>
+	  <td>Arvind “Quantalabs”</td>
 	  <td><a target="_blank" href="https://github.com/Quantalabs">github.com/Quantalabs</a></td>
 	  <td>Avid mathamatician, D1 FRC robotics programmer, founding member</td>
   </tr>