News for hackers. Stuff that matters.

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

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