News for hackers. Stuff that matters.

A comment on Things that Idris improves things over Haskell. Parent comment

Re:Things that Idris improves things over Haskell by codygman on Friday June 16, 2017 @02:15PM (#14571381)
spurious lap infant?
[ Parent | on HN ]
Re:Things that Idris improves things over Haskell by haskellandchill on Friday June 16, 2017 @03:37PM (#14572020)
True story: https://i.redd.it/lc84fv1lrv2z.png
[ Parent | on HN ]