D deque.blog Things that Idris improves things over Haskell 221 points deque-blog 9 years ago 154 comments