[ test ] typesetting 'de Bruin'

agda · Sep 17, 2024 · ef4383d · ef4383d
1 parent 2f7bde3
commit ef4383d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paper/paper.bib b/paper/paper.bib
@@ -1,5 +1,5 @@
 @mastersthesis{ivardeBruin2023,
-  author = {de Bruin, Ivar},
+  author = {Ivar de Bruin},
   title = {Improving {Agda}'s module system},
   institution = {Delft University of Technology},
   year = 2023,