rerefined-0.1.0: Refinement types, again
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
GHC2021
Rerefined.Predicates.RefinedShim