liquid-base-4.14.1.0: Drop-in base replacement for LiquidHaskell
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Data.Kind
Documentation
module
Data.Kind