Skip to content

Get Agda version via interaction mode#171

Merged
4e554c4c merged 1 commit intoagda:masterfrom
4e554c4c:version
Mar 28, 2025
Merged

Get Agda version via interaction mode#171
4e554c4c merged 1 commit intoagda:masterfrom
4e554c4c:version

Commits

Commits on Mar 28, 2025