rerefined-0.4.0: Refinement types, again
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
GHC2021
Rerefined.Predicate.Logical.Equivalences
Description
Logical equivalences.