idris-lang/idris-tutorial — pull request #49 by jfdm (2014-11-26 19:45:25+00:00)
Title: Improvements to the case-study.

+ Adds section headings.
+ Improves formatting of language example.