Copy bib entries from local

mernst · Jan 8, 2024 · 314b632 · 314b632
1 parent 29b7628
commit 314b632
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/types.bib b/types.bib
@@ -3802,6 +3802,7 @@ @InProceedings{CamporaCEW2018
 
 
 
+
 @InProceedings{CartwrightF91,
   author =       "Robert Cartwright and Mike Fagan",
   title =        "Soft Typing",