From 359839386540b4ff8663426c6fe58861935ae7de Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Wed, 10 Sep 2025 10:26:52 +0800 Subject: [PATCH 1/3] Minor tweak --- paper/paper.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paper/paper.md b/paper/paper.md index c79df35d67..2f05be09bc 100644 --- a/paper/paper.md +++ b/paper/paper.md @@ -203,7 +203,7 @@ Andrés Sicard-Ramírez and Andrea Vezzosi. We also would like to acknowledge the substantial feedback of Nils Anders Danielsson which led to improvements in the papers' presentation. -The authors of this paper are listed approximately in order of contribution to the library. A full list of contributors to `agda-stdlib` may be found in the `LICENCE` in the GitHub source tree. +The authors of this paper are listed approximately in order of contribution to the library. Manuscript preparation was carried out by Matthew Daggitt, Guillaume Allais, James McKinna, Jacques Carette and Nathan van Doorn. A full list of contributors to `agda-stdlib` may be found in the `LICENCE` in the GitHub source tree. # Funding and conflicts of interest From 25f74ac74d174cf69064d82578e4b0cb67460ba6 Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Wed, 10 Sep 2025 10:38:08 +0800 Subject: [PATCH 2/3] Add Sandro as an author --- paper/paper.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/paper/paper.md b/paper/paper.md index 2f05be09bc..7951ae7788 100644 --- a/paper/paper.md +++ b/paper/paper.md @@ -34,6 +34,9 @@ authors: - name: Meshveliani, Sergei orcid: 0000-0002-4224-6178 affiliation: 8 + - name: Stucki, Sandro + orcid: 0000-0001-5608-8273 + affliation: 2 - name: Carette, Jacques orcid: 0000-0001-8993-9804 affiliation: 9 From da69292f0e259d9cebfdece4899983efee2d5f33 Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Wed, 10 Sep 2025 10:42:08 +0800 Subject: [PATCH 3/3] Fixed affliation order --- paper/paper.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/paper/paper.md b/paper/paper.md index 7951ae7788..1936d6ed0a 100644 --- a/paper/paper.md +++ b/paper/paper.md @@ -12,13 +12,13 @@ authors: affiliation: 1 - name: Allais, Guillaume orcid: 0000-0002-4091-657X - affiliation: 3 + affiliation: 2 - name: McKinna, James orcid: 0000-0001-6745-2560 - affiliation: 4 + affiliation: 3 - name: Abel, Andreas orcid: 0000-0003-0420-4492 - affiliation: 2 + affiliation: 4 - name: van Doorn, Nathan orcid: 0009-0009-0598-3663 affiliation: 5 @@ -27,7 +27,7 @@ authors: affiliation: 6 - name: Norell, Ulf orcid: 0000-0003-2999-0637 - affiliation: 2 + affiliation: 4 - name: Kidney, Donnacha Oisín orcid: 0000-0003-4952-7359 affiliation: 7 @@ -36,7 +36,7 @@ authors: affiliation: 8 - name: Stucki, Sandro orcid: 0000-0001-5608-8273 - affliation: 2 + affiliation: 4 - name: Carette, Jacques orcid: 0000-0001-8993-9804 affiliation: 9 @@ -60,11 +60,11 @@ authors: affiliations: - name: University of Western Australia, Australia index: 1 - - name: University of Gothenburg and Chalmers University of Technology, Sweden - index: 2 - name: University of Strathclyde, United Kingdom - index: 3 + index: 2 - name: Heriot-Watt University, United Kingdom + index: 3 + - name: University of Gothenburg and Chalmers University of Technology, Sweden index: 4 - name: Independent Software Developer index: 5