|
|
|
|
|
|
by zeptomu
2497 days ago
|
|
|
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. |
|
|