Idris: Type safe printf [video]

Comments



from Hacker News http://bit.ly/1wu6aov