Did you not look at the examples section, the documentation, the tutorial, or notice that there's a several-hundred page book on software development in Idris? There's no shortage of code examples.