idris-lang/Idris-dev — pull request #554 by ahmadsalim (2013-10-21 17:34:23+00:00)
Title: Make 'parameters' a keyword

Make 'parameters' a keyword such that parameters block doesn't parse as a function declaration. Fixes idris-lang/Idris-dev#546 .