
agda-zh.github.io/PLFA-zh
Preview meta tags from the agda-zh.github.io website.
Linked Hostnames
6- 11 links toweb.archive.org
- 8 links togithub.com
- 5 links toplfa.github.io
- 1 link toagda-zh.github.io
- 1 link tocreativecommons.org
- 1 link tomeet.meetup.com
General Meta Tags
4- title编程语言基础:Agda 描述 – 目录
- charsetutf-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width,initial-scale=1
Link Tags
2- stylesheet./assets/css/light.css
- stylesheet./assets/css/dark.css
Emails
3Links
27- https://agda-zh.github.io/PLFA-zh
- https://creativecommons.org/licenses/by/4.0
- https://github.com/Agda-zh/PLFA-zh
- https://github.com/Agda-zh/PLFA-zh/blob/dev/web/TableOfContents.md
- https://github.com/Agda-zh/PLFA-zh/issues