News for hackers. Stuff that matters.
Re:Things that Idris improves things over Haskell by dllthomas on Friday June 16, 2017 @12:09PM (#14570153)
Variadic functions are used in the package under discussion, and don't get you compile time checking of the format string.

There are no comments on this comment yet.