From 8a92999fe2a1ae0953aae4c70541b55c64a4eafa Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 21 May 2025 15:58:30 +0100
Subject: Correct date of Bauer work.

---
 main.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.bib')

diff --git a/main.bib b/main.bib
index ddc1833..4393ab4 100644
--- a/main.bib
+++ b/main.bib
@@ -62,7 +62,7 @@
 @unpublished{Squid:unpublished/Bauer17,
   author  = {Andrej Bauer},
   title   = {On Self-Interpreters for {System~T} and Other Typed \(\lambda\)-Calculi},
-  year    = {2026},
+  year    = {2016},
   url     = {http://math.andrej.com/wp-content/uploads/2016/01/self-interpreter-for-T.pdf},
   urldate = {2025-04-02}
 }
-- 
cgit v1.2.3