agda.readthedocs.io/en/latest/getting-started/installation.html
Preview meta tags from the agda.readthedocs.io website.
Linked Hostnames
26- 12 links togithub.com
- 2 links todocs.brew.sh
- 2 links togit.savannah.gnu.org
- 2 links tohackage.haskell.org
- 2 links tolaunchpad.net
- 2 links tonixos.org
- 2 links topackages.guix.gnu.org
- 2 links tosrc.fedoraproject.org
General Meta Tags
9- titleInstallation — 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
- nexthello-world.html
- prevwhat-is-agda.html
- search../search.html
- stylesheet../_static/pygments.css?v=03e43079
Links
48- http://site.icu-project.org
- http://www.cs.uiowa.edu/~astump/agda
- https://agdapad.quasicoherent.io
- https://brew.sh
- https://developer.apple.com/documentation/Security/notarizing-macos-software-before-distribution