idris-lang/idris-tutorial — pull request #46 by jfdm (2014-10-28 13:38:56+00:00)
Title: Made note about access modifier more explicit.

+ Made more visually explicit the statement explaining the effect of giving a single statement an access modifier.
+ removed trailing white space, and made layout of access modifier descriptions consistent.