lets-play-agda.quasicoherent.io
Preview meta tags from the lets-play-agda.quasicoherent.io website.
Linked Hostnames
5- 2 links togithub.com
- 1 link toagdapad.quasicoherent.io
- 1 link towww.ingo-blechschmidt.eu
- 1 link towww.math.unipd.it
- 1 link towww.unipd.it
General Meta Tags
3- titleWelcome — Let's play Agda
- content-typetext/html; charset=UTF-8
- viewportinitial-scale=1
Link Tags
2- iconimages/hen.svg
- icondata:image/svg+xml,%3Csvg%20xmlns=%22http://www.w3.org/2000/svg%22%20viewBox=%220%200%20100%20100%22%3E%3Ctext%20y=%22.9em%22%20font-size=%2290%22%3E🐔%3C/text%3E%3C/svg%3E
Links
6- https://agdapad.quasicoherent.io/~Padova2025
- https://github.com/iblech/lets-play-agda/blob/main/Padova2025/Welcome.lagda.md
- https://github.com/iblech/lets-play-agda/commit/c7db486bbed850ee232bda18744cc73324ef8116
- https://www.ingo-blechschmidt.eu
- https://www.math.unipd.it/~maietti