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