idris-lang/Idris-dev — pull request #1240 by sellout (2014-05-18 20:34:18+00:00)
Title: BoundedList improvements

This reverses the parameters to BoundedList, and it adds instances for Foldable and Functor.