lib:decidable

Modules

• Data.Type.Predicate
• Data.Type.Predicate.Auto
• Data.Type.Predicate.Logic
• Data.Type.Predicate.Param
• Data.Type.Predicate.Quantification
• Data.Type.Universe
• Data.Type.Universe.Subset

Dependencies

• base lib:base >=4.16 && <5
• functor-products lib:functor-products >=0.1.2
• microlens lib:microlens >=0
• singletons lib:singletons >=3.0
• singletons-base lib:singletons-base >=0
• vinyl lib:vinyl >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• list-witnesses lib:list-witnesses