News for hackers. Stuff that matters.

A comment on Idris: Type safe printf [video]. Parent comment

Re:Idris: Type safe printf [video] by berbc on Sunday December 28, 2014 @04:32AM (#8805850)
http://www.idris-lang.org
[ Parent | on HN ]

There are no comments on this comment yet.