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

docs: change bio

Browse source
This commit is contained in:
Ananth Venkatesh 2025-06-17 13:58:20 -07:00 • committed by Youwen Wu
parent 5e5f1bcd13
commit a08de37157
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
public/index.html
View file

@ -119,9 +119,9 @@
<td>EE hacker, delinquent, founding member</td>
</tr>
<tr>
<td>Ananth “quantum9innovation”</td>
<td>Ananth</td>
<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>
<td>Intrepid Haskellian, undergrad category theorist, founding member</td>
</tr>
<tr>
<td>Nicholas “nluo”</td>