edwinb/Idris-dev — pull request #281 by JanBessai (2013-04-14 11:58:02+00:00)
Title: Generalization of Decidable

general axioms for Preorders and Posets
instance for less-than-equal on Nat