existentialtype.wordpress.com/2011/05/30/higher-dimensional-type-theory
Preview meta tags from the existentialtype.wordpress.com website.
Linked Hostnames
7- 38 links toexistentialtype.wordpress.com
- 8 links towordpress.com
- 1 link tocodewenda.com
- 1 link tosubscribe.wordpress.com
- 1 link tothebreakfastpost.com
- 1 link towww.cs.cmu.edu
- 1 link towww.facebook.com
General Meta Tags
7- titlePage not found | Existential Type
- charsetUTF-8
- robotsnoindex, nofollow
- google-site-verification9_ALkwwtCsKQi94y8XasEUNYfT4LA6qFjdl2mNL2cgw
- generatorWordPress.com
Link Tags
23- EditURIhttps://existentialtype.wordpress.com/xmlrpc.php?rsd
- alternatehttps://existentialtype.wordpress.com/feed/
- alternatehttps://existentialtype.wordpress.com/comments/feed/
- apple-touch-iconhttps://secure.gravatar.com/blavatar/343ed6981a82d9fce5fbc3039592d408d2a793a68ae4221422c93278fff59b21?s=114
- dns-prefetch//s1.wp.com
Links
51- http://codewenda.com/javascript%e6%98%af%e4%b8%80%e7%a7%8d%e6%97%a0%e7%b1%bb%e5%9e%8b%e7%9a%84%e8%af%ad%e8%a8%80%e5%90%97%ef%bc%9f
- http://thebreakfastpost.com/2017/12/02/notes-on-idris
- http://www.cs.cmu.edu/~rwh
- https://existentialtype.wordpress.com
- https://existentialtype.wordpress.com/2011/03