Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://agda.readthedocs.io/en/v2.6.0.1/getting-started/what-is-agda.html
https://agda.readthedocs.io/en/v2.6.0.1/getting-started/what-is-agda.html
Last synced: 27 days ago
JSON representation