Search results

GHC 9.4.7 - stack / cabal configuration

Status: Open.

#25 In ucsd-progsys/lh-plugin-demo;

· Genlight opened on May 15, 2024

Project doesn't seem to compile with ghc 9.2.5 and stackage lts-20.1

Status: Open.

#24 In ucsd-progsys/lh-plugin-demo;

· OlaoluwaM opened on May 14, 2024

How to compile this with GHC 9.6.4?

Status: Open.

#22 In ucsd-progsys/lh-plugin-demo;

· lylek opened on Feb 29, 2024

Problem in interplay between Liquid Haskell, the haskell-language-server, and Stack.

Status: Open.

#21 In ucsd-progsys/lh-plugin-demo;

· igormoreno opened on Jun 13, 2023

Use GitHub Actions to test build

Status: Open.

#7 In ucsd-progsys/lh-plugin-demo;

· FranklinChen opened on May 13, 2022

Stack information out of date?

Status: Open.

#6 In ucsd-progsys/lh-plugin-demo;

· FranklinChen opened on May 13, 2022