agda.readthedocs.io/en/latest/getting-started/what-is-agda.html
Preview meta tags from the agda.readthedocs.io website.
Linked Hostnames
14- 7 links toen.wikipedia.org
- 3 links toncatlab.org
- 1 link tocaml.inria.fr
- 1 link todoi.org
- 1 link togithub.com
- 1 link toidris-lang.org
- 1 link toleanprover.github.io
- 1 link toreadthedocs.org
General Meta Tags
9- titleWhat is Agda? — Agda 2.9.0 documentation
- charsetutf-8
- readthedocs-addons-api-version1
- viewportwidth=device-width, initial-scale=1
- viewportwidth=device-width, initial-scale=1.0
Link Tags
6- index../genindex.html
- nextinstallation.html
- previndex.html
- search../search.html
- stylesheet../_static/pygments.css?v=03e43079
Links
22- http://caml.inria.fr
- http://www.cse.chalmers.se/~hallgren/Alfa
- http://www.e-pig.org
- https://doi.org/10.1007/3-540-58085-9_78
- https://en.wikipedia.org/wiki/C_%28programming_language%29