GitHub repository: liquidhaskell/liquid-base
Primary language: Haskell
Created: 2021-03-01T15:24:36Z
Description: Drop-in replacement for the base library, to use with Liquid Haskell