liquid-base-4.14.0.0: Drop-in base replacement for LiquidHaskell
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Type.Equality

Documentation

module Data.Type.Equality