GitHub repository: liquidhaskell/liquid-ghc-prim
Primary language: Python
Created: 2021-03-02T14:19:30Z
Description: A drop-in replacement for ghc-prim to be used with Liquid Haskell