agda

A project that packages Agda as a Python package.


License
Other
Install
pip install agda==2.6.4.3