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

Commits

Commits on Dec 9, 2025