Code

Bump version of LH to 9.6.3#2262

Code

Closed

facundominguez wants to merge 2 commits intodevelopucsd-progsys/liquidhaskell:developfrom fd/ghc-9.6.3-releaseucsd-progsys/liquidhaskell:fd/ghc-9.6.3-releaseCopy head branch name to clipboard

+8-6

Commits

Commits on Jan 29, 2024

• Update liquid-fixpoint

  facundominguez

  committed
  3849653

  Copy full SHA for 3849653

• Bump version of LH to 0.9.6.3 and update the changelog

  facundominguez

  committed
  0d57e9e

  Copy full SHA for 0d57e9e