r/Idris•9 yr. agonotthemessiah10 things Idris improved over Haskelldeque.blog/2017/06/14/10-things-idris-improve...deque.blogPosted Jun 16, 2017, 7:25 PM UTC341Share