[ test ] sorting by raw name

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