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: 4 months ago
JSON representation