[ test ] gaming the sorting

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