Idris: Type safe printfhttps://www.youtube.com/watch?v=fVBck2Zngjo by schrototo • 12 years ago 1 0 12 years agoYOyoutube.com