idris-lang/Idris-dev — pull request #638 by david-christiansen (2013-11-19 17:00:29+00:00)
Title: Total version of [a..b] and [a,b..c]

Fixes #328.