/liquid-ghc-prim

⚛️ LiquidHaskell specifications for the `ghc-prim` package (retired)

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

liquid-ghc-prim

LiquidHaskell specifications for the ghc-prim package