idris-lang/Idris-dev — pull request #711 by ahmadsalim (2013-12-08 18:56:01+00:00)
Title: Corrects infinite stream syntax [start ..]. Closes

idris-lang/Idris-dev#706