Skip to content

[Draft] Deeper integration with Agda: foundational work#41

Draft
nvarner wants to merge 47 commits into
agda:masterfrom
nvarner:master
Draft

[Draft] Deeper integration with Agda: foundational work#41
nvarner wants to merge 47 commits into
agda:masterfrom
nvarner:master

start on integration test

5824ac8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs