LiquidHaskell plugin build failed

This page summarizes the projects mentioned and recommended in the original post on /r/haskell
hardware-buttons scrape-images linkedin-bot

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • liquidhaskell

    Liquid Types For Haskell

    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

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • liquidhaskell ghc9に対応したリリース出てたの知らなんだ

    1 project | /r/u_Dazzling_Finger_8120 | 10 Feb 2023

  • [ANNOUNCE] New release of SBV with support for quantifiers

    1 project | /r/haskell | 15 Apr 2023

  • Ante: A low-level functional language with algebraic effects and safe shared mut

    1 project | news.ycombinator.com | 30 Sep 2024

  • As you learn Forth, it learns from you (1981)

    6 projects | news.ycombinator.com | 22 Jun 2024

  • Candy – a minimalistic functional programming language

    5 projects | news.ycombinator.com | 24 Feb 2024