From 314b6324d2384c8e12002b2c966eb913d245950e Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sun, 7 Jan 2024 17:14:08 -0800
Subject: [PATCH] Copy bib entries from local

---
 types.bib | 1 +
 1 file changed, 1 insertion(+)

diff --git a/types.bib b/types.bib
index 9b491d0..5d955ab 100644
--- a/types.bib
+++ b/types.bib
@@ -3802,6 +3802,7 @@ @InProceedings{CamporaCEW2018
 
 
 
+
 @InProceedings{CartwrightF91,
   author =       "Robert Cartwright and Mike Fagan",
   title =        "Soft Typing",