deque.blog/2017/06/14/10-things-idris-improved-over-haskell

Preview meta tags from the deque.blog website.

Linked Hostnames

16

Thumbnail

Search Engine Appearance

Google

https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell

10 things Idris improved over Haskell

The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent typing. There is already a really good book that came out this year, named Type Driven Development with Idris, exploring…



Bing

10 things Idris improved over Haskell

https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell

The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent typing. There is already a really good book that came out this year, named Type Driven Development with Idris, exploring…



DuckDuckGo

https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell

10 things Idris improved over Haskell

The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent typing. There is already a really good book that came out this year, named Type Driven Development with Idris, exploring…

  • General Meta Tags

    10
    • title
      10 things Idris improved over Haskell – Deque
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1.0
    • robots
      max-image-preview:large
    • generator
      WordPress.com

  • Open Graph Meta Tags

    10
    • og:type
      article
    • og:title
      10 things Idris improved over Haskell
    • og:url
      https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/
    • og:description
      The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent…
    • og:site_name
      Deque

  • Twitter Meta Tags

    4
    • twitter:creator
      @quduval
    • twitter:site
      @quduval
    • twitter:text:title
      10 things Idris improved over Haskell
    • twitter:card
      summary

  • Link Tags

    33
    • EditURI
      https://dequeweb.wordpress.com/xmlrpc.php?rsd
    • alternate
      https://deque.blog/feed/
    • alternate
      https://deque.blog/comments/feed/
    • alternate
      https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/feed/
    • alternate
      https://public-api.wordpress.com/oembed/?format=json&url=https%3A%2F%2Fdeque.blog%2F2017%2F06%2F14%2F10-things-idris-improved-over-haskell%2F&for=wpcom-auto-discovery

Links

98