Skip to content

Fix testsuite#152

Draft
phijor wants to merge 13 commits into
agda:masterfrom
phijor:fix-testsuite
Draft

Fix testsuite#152
phijor wants to merge 13 commits into
agda:masterfrom
phijor:fix-testsuite

Commits

Commits on May 17, 2024