fix: use curly quotes

This commit is contained in:
Youwen Wu 2025-06-09 00:28:43 -07:00
parent d8d722377c
commit a73a92287e
Signed by: youwen
GPG key ID: 865658ED1FE61EC3

View file

@ -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>