Skip to content

wip: fix JSON agda API#187

Draft
4e554c4c wants to merge 1 commit intoagda:masterfrom
4e554c4c:fix-give
Draft

wip: fix JSON agda API#187
4e554c4c wants to merge 1 commit intoagda:masterfrom
4e554c4c:fix-give

Conversation

@4e554c4c
Copy link
Collaborator

@4e554c4c 4e554c4c commented Dec 10, 2025

fix #186

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

:CornelisGive no longer working on Agda head

1 participant