jespercockx.github.io/ohrid19-agda
Preview meta tags from the jespercockx.github.io website.
Linked Hostnames
10- 11 links tojespercockx.github.io
- 5 links togithub.com
- 3 links toagda.readthedocs.io
- 2 links topeople.inf.elte.hu
- 1 link toadam.chlipala.net
- 1 link topages.github.com
- 1 link toplfa.github.io
- 1 link towww.manning.com
Search Engine Appearance
https://jespercockx.github.io/ohrid19-agda
Correct by Construction Programming in Agda
Agda course at the EUTYPES Summer School ‘19 in Ohrid
Bing
Correct by Construction Programming in Agda
https://jespercockx.github.io/ohrid19-agda
Agda course at the EUTYPES Summer School ‘19 in Ohrid
DuckDuckGo
https://jespercockx.github.io/ohrid19-agda
Correct by Construction Programming in Agda
Agda course at the EUTYPES Summer School ‘19 in Ohrid
General Meta Tags
6- titleCorrect by Construction Programming in Agda | Correct-by-construction programming in Agda
- charsetUTF-8
- generatorJekyll v3.8.5
- descriptionAgda course at the EUTYPES Summer School ‘19 in Ohrid
- viewportwidth=device-width, initial-scale=1
Open Graph Meta Tags
5- og:titleCorrect by Construction Programming in Agda
og:localeen_US- og:descriptionAgda course at the EUTYPES Summer School ‘19 in Ohrid
- og:urlhttps://jespercockx.github.io/ohrid19-agda/
- og:site_nameCorrect-by-construction programming in Agda
Link Tags
2- canonicalhttps://jespercockx.github.io/ohrid19-agda/
- stylesheet/ohrid19-agda/assets/css/style.css?v=364bcaa8dced8b98c5d34b65ad790b4402a88324
Links
27- http://adam.chlipala.net/cpdt
- http://www2.tcs.ifi.lmu.de/~abel/DepTypes.pdf
- https://agda.readthedocs.io/en/v2.6.0.1
- https://agda.readthedocs.io/en/v2.6.0.1/getting-started/installation.html
- https://agda.readthedocs.io/en/v2.6.0.1/getting-started/installation.html#os-x