idris-lang/Idris-dev — pull request #557 by ahmadsalim (2013-10-22 10:04:23+00:00)
Title: Addition of indentation property support.

Fixes indentation property of arguments to tactics such that they are
parsed correctly. Fixes idris-lang/Idris-dev#551.