decidable alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view decidable alternatives based on common mentions on social networks and blogs.
Do you think we are missing an alternative of decidable or a related project?
This library provides combinators and typeclasses for working and manipulating
type-level predicates in Haskell, which are represented as matchable type-level
k ~> Type from the singletons library. See Data.Type.Predicate
for a good starting point, and the documentation for
Predicate on how to