1ac64af484
Introduces a test runner with test cases. Also significantly overhauls the GHA configuration. |
||
---|---|---|
.. | ||
OpSem.agda | ||
Run.agda | ||
Syntax.agda | ||
Type.agda |
1ac64af484
Introduces a test runner with test cases. Also significantly overhauls the GHA configuration. |
||
---|---|---|
.. | ||
OpSem.agda | ||
Run.agda | ||
Syntax.agda | ||
Type.agda |