Skip to content

Commit

Permalink
Update installation documentation for version 0.9.5.2
Browse files Browse the repository at this point in the history
  • Loading branch information
facundominguez committed Oct 18, 2023
1 parent c05b34a commit 78ed587
Showing 1 changed file with 2 additions and 8 deletions.
10 changes: 2 additions & 8 deletions docs/mkDocs/docs/install.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,18 +19,12 @@ LiquidHaskell itself is installed&enabled by adding it as a dependency in your p

Depending on your version of GHC, you might want to use a build of LiquidHaskell from github or from Hackage.

* `ghc-9.2.5`: use LiquidHaskell from github
* `ghc-9.2.5`: use liquidhaskell-0.9.2.5 from Hackage
* `ghc-9.0.2`: use liquidhaskell-0.9.0.2.1 and liquid-base-0.4.15.1.0 from Hackage
* `ghc-8.10.7`: use liquidhaskell-0.8.10.7 and liquid-base-0.4.15.0.0 from Hackage

Newer versions of GHC aren't supported yet.

When using liquidhaskell from github, add `liquidhaskell` to the `build-depends`
section of your `.cabal` file, and configure `stack` or `cabal`-install to
look for the package there. The following section points to an example project
that does this.

When using liquidhaskell from Hackage, add `liquidhaskell` and
To use liquidhaskell from Hackage, add `liquidhaskell` and
`liquid-base` to the `build-depends` section of your `.cabal` file, as you would
any other dependency.

Expand Down

0 comments on commit 78ed587

Please sign in to comment.