code, no image description
i furgot the extent to which printf is not type safe in C
code
imo, this should be a compile time error, but since C can’t do that, it should at least cause a runtime error
Follow
girls whose intuition was ruined by the video on type safe printf in Idris
