idris-lang/Idris-dev — pull request #1309 by jfdm (2014-06-10 08:44:07+00:00)
Title: More documentation for runnning effects.

Documentation constructed as a result of doing the effects tutorial, together with removal of trailing spaces.