agda-cli
Version:
A command-line tool to perform Agda commands like checking, running, and compiling
| Filename | Content Type | Size | |
|---|---|---|---|
| 1.34 kB | |||
| 10.6 kB | |||
| 954 B | |||
| 1.53 kB | |||
| 907 B |
A command-line tool to perform Agda commands like checking, running, and compiling
| Filename | Content Type | Size | |
|---|---|---|---|
| 1.34 kB | |||
| 10.6 kB | |||
| 954 B | |||
| 1.53 kB | |||
| 907 B |