Haskell refinement-type Projects
Liquid Types For HaskellProject mention: LiquidHaskell plugin build failed | reddit.com/r/haskell | 2021-10-11
master should already be GHC 9 ready, it just so it happens that we didn't released it on Hackage due to the fact that, practically speaking, GHC 9.0.2 is not very widely used as I think we had some minor issues, but in principle it should work, at least with cabal: https://github.com/ucsd-progsys/liquidhaskell/blob/develop/cabal.ghc9.project
Haskell refinement-types related posts
Are you hiring? Post a new remote job listing for free.