> Not if the input data isn't known at compile time it can't look at the idris example of printf (https://gist.github.com/chrisdone/672efcd784528b7d0b7e17ad9c1

> Not if the input data isn't known at compile time it can't look at the idris example of printf (https://gist.github.com/chrisdone/672efcd784528b7d0b7e17ad9c115292 https://gist.github.com/chrisdone/672efcd784528b7d0b7e17ad9c...) for how to do this, the idris book has some really good example of how you can handle what you would think is "not known at compile time" but can actually be parameterized