Agda.readthedocs.io
Visit agda.readthedocs.ioWe collected the majority of metadata history records for Agda.readthedocs.io. Agda Readthedocs has a poor description which rather negatively influences the efficiency of search engines index and hence worsens positions of the domain. We did not detect any description or keywords on Agda.readthedocs.
Agda.readthedocs.io metadata updates
| Title | Description | Keywords |
|---|---|---|
|
April 13, 2023 Welcome to Agda’s documentation! — Agda 2.6.3 documentation |
||
|
May 17, 2022 Welcome to Agda’s documentation! — Agda 2.6.2.1 documentation |
||
|
September 02, 2021 Welcome to Agda’s documentation! — Agda 2.6.2 documentation |
||
|
July 13, 2020 Welcome to Agda’s documentation! — Agda 2.6.1 documentation |
||
|
September 11, 2019 Welcome to Agda’s documentation! — Agda 2.6.0.1 documentation |
||
|
April 24, 2018 Welcome to Agda’s documentation! — Agda 2.5.3 documentation |