Hacker News new | ask | show | jobs
Idris: Type safe printf (youtube.com)
1 points by schrototo 4427 days ago