Added Xia Li-yiao

agda · Sep 17, 2024 · 23be01b · 23be01b
1 parent 25bc8e2
commit 23be01b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/paper/paper.md b/paper/paper.md
@@ -25,14 +25,16 @@ authors:
   - name: Hu, Jason Z. S.
 	orcid: 0000-0001-6710-6262
 	affiliation: 6 
+  - name: Xia, Li-yiao
+	orcid: 0000-0003-2673-4400
+	affiliation: 8
   - name: Mullanix, Reed
 	orcid: 0000-0002-7970-4961
 	affiliation: 3
   - name: Kokke, Wen
 	orcid: 0000-0002-1662-0381
 	affiliation: 7
   - name: Others to come
-    orcid: 0000-0000-0000-0000
     affiliation: 100
 affiliations:
  - name: University of Western Australia, Australia
@@ -49,6 +51,8 @@ affiliations:
    index: 6
  - name: University of Edinburgh, United Kingdom
    index: 7
+ - name: INRIA, France
+   index: 8
  - name: UNKNOWN
    index: 100
 date: 03 September 2024