Skip to content

Minor tweak to JOSS paper #2826

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Sep 10, 2025
Merged

Minor tweak to JOSS paper #2826

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
3598393
Minor tweak
MatthewDaggitt Sep 10, 2025
25f74ac
Add Sandro as an author
MatthewDaggitt Sep 10, 2025
da69292
Fixed affliation order
MatthewDaggitt Sep 10, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 11 additions & 8 deletions paper/paper.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -27,13 +27,16 @@ 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
- name: Meshveliani, Sergei
orcid: 0000-0002-4224-6178
affiliation: 8
- name: Stucki, Sandro
orcid: 0000-0001-5608-8273
affiliation: 4
- name: Carette, Jacques
orcid: 0000-0001-8993-9804
affiliation: 9
Expand All @@ -57,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
Expand Down Expand Up @@ -203,7 +206,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

Expand Down