Correct date of Bauer work.

1 files changed, 1 insertions, 1 deletions

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}
 }