GitHub repository: liquidhaskell/proposals
Created: 2022-09-09T13:51:41Z
Description: A place to discuss proposals involving LiquidHaskell and its ecosystem