idris-lang/Idris-dev — pull request #991 by jfdm (2014-03-21 16:12:56+00:00)
Title: Initial documentation efforts for effects

An initial attempt at documenting the effects package.

Most things have been adapted from the original effects paper.