blog.ezyang.com/2010/06/well-founded-recursion-in-agda

Preview meta tags from the blog.ezyang.com website.

Linked Hostnames

8

  • General Meta Tags

    4
    • title
      Well-founded recursion in Agda : ezyang’s blog
    • Content-Type
      text/html; charset=UTF-8
    • viewport
      width=device-width, initial-scale=1
    • generator
      WordPress 5.1.19

  • Link Tags

    18
    • EditURI
      https://blog.ezyang.com/xmlrpc.php?rsd
    • alternate
      https://blog.ezyang.com/feed/
    • alternate
      https://blog.ezyang.com/feed/atom/
    • alternate
      https://blog.ezyang.com/2010/06/well-founded-recursion-in-agda/feed/
    • alternate
      https://blog.ezyang.com/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fblog.ezyang.com%2F2010%2F06%2Fwell-founded-recursion-in-agda%2F

Links

28