idris-lang/Idris-dev — pull request #797 by jfdm (2014-01-24 21:03:04+00:00)
Title: Updated Haddock Documentation.

Fixed some outstanding malformed documentation strings.