idris-lang/Idris-dev — pull request #1405 by david-christiansen (2014-07-17 12:38:17+00:00)
Title: Update docs for equality type

Fixes #1393