Skip to content

Commit 05c7182

Browse files
authored
Update index.html
1 parent 5ca35be commit 05c7182

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

index.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -271,6 +271,7 @@ <h2>Core team</h2>
271271
<li><a href="https://www.dhil.net/research/">Daniel Hillerstr&ouml;m</a>.</li>
272272
<li><a href="http://rudi-horn.de/About">Rudi Horn</a></li>
273273
<li><a href="http://homepages.inf.ed.ac.uk/slindley/">Sam Lindley</a>.</li>
274+
<li>Wilmer Ricciotti</li>
274275
<li><a href="http://ics.p.lodz.pl/~stolarek">Jan Stolarek</a>.</li>
275276
<li><a href="http://homepages.inf.ed.ac.uk/wadler/">Philip Wadler</a>.</li>
276277
</ul>

0 commit comments

Comments
 (0)