liquid-base-4.14.1.0: Drop-in base replacement for LiquidHaskell
Safe HaskellNone
LanguageHaskell2010

Data.Type.Coercion

Documentation

module Data.Type.Coercion