thebreakfastpost.com/2017/12/02/notes-on-idris

Preview meta tags from the thebreakfastpost.com website.

Linked Hostnames

16

Thumbnail

Search Engine Appearance

Google

https://thebreakfastpost.com/2017/12/02/notes-on-idris

Notes on Idris

In a bid to expand my programming brain by learning something about "dependent types", I recently bought the Idris book. (Idris is a pure functional programming language that is mostly known for supporting dependent types. Not knowing what that really meant, and seeing that this recently-published book written by the author of the language was…



Bing

Notes on Idris

https://thebreakfastpost.com/2017/12/02/notes-on-idris

In a bid to expand my programming brain by learning something about "dependent types", I recently bought the Idris book. (Idris is a pure functional programming language that is mostly known for supporting dependent types. Not knowing what that really meant, and seeing that this recently-published book written by the author of the language was…



DuckDuckGo

https://thebreakfastpost.com/2017/12/02/notes-on-idris

Notes on Idris

In a bid to expand my programming brain by learning something about "dependent types", I recently bought the Idris book. (Idris is a pure functional programming language that is mostly known for supporting dependent types. Not knowing what that really meant, and seeing that this recently-published book written by the author of the language was…

  • General Meta Tags

    11
    • title
      Notes on Idris – The Breakfast Post
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1
    • robots
      max-image-preview:large
    • generator
      WordPress.com

  • Open Graph Meta Tags

    10
    • og:type
      article
    • og:title
      Notes on Idris
    • og:url
      https://thebreakfastpost.com/2017/12/02/notes-on-idris/
    • og:description
      In a bid to expand my programming brain by learning something about “dependent types”, I recently bought the Idris book. (Idris is a pure functional programming language that is mostly …
    • og:site_name
      The Breakfast Post

  • Twitter Meta Tags

    5
    • twitter:creator
      @breakfastpost
    • twitter:text:title
      Notes on Idris
    • twitter:image
      https://thebreakfastpost.com/wp-content/uploads/2017/12/brady-tddi-hi-png.jpg?w=144
    • twitter:image:alt
      Brady-TDDI-HI.png
    • twitter:card
      summary

  • Link Tags

    31
    • EditURI
      https://breakfastpost.wordpress.com/xmlrpc.php?rsd
    • alternate
      https://thebreakfastpost.com/feed/
    • alternate
      https://thebreakfastpost.com/comments/feed/
    • alternate
      https://thebreakfastpost.com/2017/12/02/notes-on-idris/feed/
    • alternate
      https://public-api.wordpress.com/oembed/?format=json&url=https%3A%2F%2Fthebreakfastpost.com%2F2017%2F12%2F02%2Fnotes-on-idris%2F&for=wpcom-auto-discovery

Emails

1
  • ?subject=%5BShared%20Post%5D%20Notes%20on%20Idris&body=https%3A%2F%2Fthebreakfastpost.com%2F2017%2F12%2F02%2Fnotes-on-idris%2F&share=email

Links

124