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

feat: new site for q9i #2

Merged
youwen merged 1 commit from q9i/functor.systems-website:q9i-site into main 2025-07-11 01:11:15 -07:00
Conversation 1 Commits 1 Files changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 3fc792d508 - Show all commits

2
public/index.html
View file

@ -120,7 +120,7 @@
</tr>
<tr>
<td>Ananth</td>
<td><a target="_blank" href="https://mit.edu/~ananthv/www">mit.edu/~ananthv/www</a></td>
<td><a target="_blank" href="https://monadi.cc">mit.edu/~ananthv/www</a></td>
<td>Intrepid Haskellian, undergrad category theorist, founding member</td>
</tr>
<tr>