Add Hatra paper

index.html

@@ -318,6 +318,9 @@ <h2>Hazel</h2>
       <div class="card" id="news">
         <h2>News and Publications</h2>
         <div class="news-list">
+          <div class="date">Oct 2024</div>
+          <div class="news-text"><a href="https://2024.splashcon.org/home/hatra-2024">HATRA 2024</a> accepted <a href="./papers/learner_centered_proofs_hatra_2024.pdf"> Learner-Centered Design Criteria for Classroom Proof Assistants
+          </a> describing our goals for using Hazel for teaching and learning proof.</div>
           <div class="date">Jan 2024</div>
           <div class="news-text"><a href="https://popl24.sigplan.org/">POPL 2024</a> accepted <a href="./papers/marking-popl24.pdf">Total Type Error Localization and Recovery with Holes</a>
             describing a principled approach to localizing errors in ill-typed programs. This paper was awarded a <span class="award">Distinguished Paper Award</span>!</div>
@@ -566,4 +569,4 @@ <h2>Recent &amp; Upcoming Talks</h2>
   </div>
 </body>
 
-</html>
+</html>