[seanmcdirmid]

Is it really fair to call this an implementation of wc if it is just using a built in function for each case?

[zeptomu]

These might be reasonable functions to implement in a standard library, so having them it makes sense to use them. I rather feared Idris does not have some IO abstraction (reading/writing) files at all. Maybe I am conflating languages and libraries here, but they often go hand in hand.

My practicability expectations for languages implementing dependent types are pretty low.