Skip to content

[WIP] Adding agda system and agda checking script#35

Open
tdelort wants to merge 2 commits into
Deducteam:masterfrom
tdelort:master
Open

[WIP] Adding agda system and agda checking script#35
tdelort wants to merge 2 commits into
Deducteam:masterfrom
tdelort:master

New version of agda.ml that doesn't work (yet)

9c3284e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs