Skip to content

Conversation

@gallais
Copy link
Member

@gallais gallais commented Dec 20, 2025

No description provided.

Copy link
Collaborator

@JacquesCarette JacquesCarette left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I had added a ToDo in my personal list to this just this... you beat me to it!

@MatthewDaggitt MatthewDaggitt added this to the v2.4 milestone Jan 5, 2026
@MatthewDaggitt MatthewDaggitt added this pull request to the merge queue Jan 5, 2026
Merged via the queue into agda:master with commit 1783df2 Jan 5, 2026
12 checks passed
@gallais gallais deleted the joss-citation branch January 5, 2026 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants