Skip to content

Commit

Permalink
[ TYPES 2025 ] fix w3c validator error
Browse files Browse the repository at this point in the history
  • Loading branch information
fredrikNordvallForsberg committed Dec 10, 2024
1 parent b072e83 commit d5fa8fd
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions types2025/cfp.html
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,8 @@
<h1>Call for Contributions</h1>

<p class="fst-italic">
31st International Conference on Types for Proofs and Programs</br>
Glasgow, Scotland, 9&ndash;13 June 2025</br>
31st International Conference on Types for Proofs and Programs<br>
Glasgow, Scotland, 9&ndash;13 June 2025<br>
<a href="https://msp.cis.strath.ac.uk/types2025/">https://msp.cis.strath.ac.uk/types2025/</a>
</p>

Expand Down

0 comments on commit d5fa8fd

Please sign in to comment.