edwinb/Idris-dev — pull request #192 by Ralith (2013-02-21 09:39:38+00:00)
Title: Decidable predicate ADT

General-purpose ADT for working with decidable predicates, as in Agda