PyPI page
Home page
Author:
Russi Chatterjee
License:
MIT
Summary:
Agda productivity tool
Latest version:
0.1
Required dependencies:
coloredlogs
|
file-downloader
|
mypy
|
pytest
|
tqdm
|
typed-ast
|
unittest2
Optional dependencies:
check-manifest
|
coverage
Downloads last day:
2
Downloads last week:
6
Downloads last month:
23