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.
[ Parent
| on HN ]
There are no comments on this comment yet.