edwinb/Idris-dev — pull request #293 by Ralith (2013-04-28 00:03:29+00:00)
Title: Vect quantifiers

Define Any/All and associated decision procedures for Vect