idris-lang/Idris-dev — pull request #528 by ahmadsalim (2013-10-10 13:11:36+00:00)
Title: Improvement regarding parsing of slices, and addproof syntax

Changed the way addproof works to indented-block style
Allowed a larger range of expression to work with slices (improves on
idris-lang/Idris-dev#524)