predicate-typed-0.7.4.4: Predicates, Refinement types and Dsl
Safe HaskellNone
LanguageHaskell2010

Predicate.Prelude

Description

Dsl for evaluating and displaying type level expressions

Documentation