From 18271a91fb661668fa5c24cfd843b64f04f2505e Mon Sep 17 00:00:00 2001
From: Matt Keenan <31668468+Negabinary@users.noreply.github.com>
Date: Wed, 2 Oct 2024 15:12:27 -0400
Subject: [PATCH] Add Hatra paper

---
 index.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 3e0c665..1081b14 100644
--- a/index.html
+++ b/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>
\ No newline at end of file
+</html>