dec (hackage): Decidable propositions
Keywords: bsd3|data|dependent-types|library