News for hackers. Stuff that matters.

A comment on Notes on Idris (2017). Parent comment

Re:Notes on Idris (2017) by FeepingCreature on Friday June 22, 2018 @01:51AM (#17371677)
It is implemented by regular D code in std.format. Logging libraries often do the same thing.
[ Parent | on HN ]

There are no comments on this comment yet.