Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
jamescheney authored Jun 11, 2024
1 parent 2cf26f4 commit c7fd0dd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion index.html
Original file line number Diff line number Diff line change
Expand Up @@ -132,7 +132,7 @@ <h2>Publications</h2>
<a href="http://2020.ecoop.org/">ECOOP 2020</a>.
</li>
<li>
<a href="https://arxiv.org/abs/2003.02191"</a>Language-Integrated
<a href="https://arxiv.org/abs/2003.02191">Language-Integrated
Updatable Views</a>. Rudi Horn, Simon Fowler and James
Cheney. Post-proceedings of IFL 2019.
<li>
Expand Down

0 comments on commit c7fd0dd

Please sign in to comment.