Idris: Type safe printf(youtube.com)1 points·by schrototo·12 lat temu·0 commentsyoutube.comIdris: Type safe printfhttps://www.youtube.com/watch?v=fVBck2Zngjo0 commentsPost comment—