functor.systems/website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update index.html

Browse source
This commit is contained in:
Ren Lin 2025-06-09 00:22:26 -07:00 • committed by Youwen Wu
parent 9c8b784be6
commit 1dd30ce0ba
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
public/index.html
View file

@ -109,6 +109,16 @@
<td><a target="_blank" href="https://mit.edu/~ananthv/www">mit.edu/~ananthv/www</a></td>
<td>Intrepid Haskeller, undergrad category theorist, founding member</td>
</tr>
<tr>
<td>Nicholas "nluo"</td>
<td><a target="_blank" href="https://github.com/Nluo923">github.com/Nluo923</td>
<td>osu gamer, yuri enjoyer, founding member</td>
</tr>
<tr>
<td>Arvind "QuantaLabs"</td>
<td><a target="_blank" href="https://github.com/Quantalabs">github.com/Quantalabs</td>
<td>avid mathamatician, d1 frc robotics programmer, founding member</td>
</tr>
</table>
There are no membership dues—rather, members are encouraged to donate
infrastructure and time as available.