Should mention type-safe printf in dependently-typed languages like Idris[0] or F*[1]: [0]: https://zgcoder.net/ramblings/typesafe-printf/ https://zgcoder.net/

Should mention type-safe printf in dependently-typed languages like Idris[0] or F*[1]: [0]: https://zgcoder.net/ramblings/typesafe-printf/ https://zgcoder.net/ramblings/typesafe-printf/ [1]: https://fstarlang.github.io/general/2017/11/23/sprintfstar.html https://fstarlang.github.io/general/2017/11/23/sprintfstar.h...