edwinb/Idris-dev — pull request #290 by david-christiansen (2013-04-24 16:55:17+00:00)
Title: Add bounded-length list type

This can be used for representing data with a maximum length, such as SQL
VARCHAR(n).