plfa.github.io
Preview meta tags from the plfa.github.io website.
Linked Hostnames
8- 11 links toweb.archive.org
- 8 links togithub.com
- 3 links toplfa.github.io
- 1 link toagda-zh.github.io
- 1 link tocreativecommons.org
- 1 link tomeet.meetup.com
- 1 link toproglang.github.io
- 1 link towww2.cs.uregina.ca
General Meta Tags
4- titleProgramming Language Foundations in Agda – Table of Contents
- 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/JacquesCarette/CAS706-F2021
- https://github.com/jsiek
- https://github.com/marat-rkh/PLFArend