title: Practical examples of Idris
body: <p>Are there any examples of <a href="http://idris-lang.org" rel="noreferrer" title="Idris">Idris</a> that might be used to study and perhaps apply it for general purpose/"real world" application?</p>
  
  <p>I am moderately proficient in Haskell, of which Idris seems to borrow significantly, and the official FAQ/documentation is rather nice but it would be very helpful to have some larger examples to explore. The goal is attempting to use Idris for practical software development. TIA.</p>