Apocrypha

liquidhaskell

Liquid Types for Haskell

homepage ↗ hackage: liquidhaskell github: ucsd-progsys/liquidhaskell

Available in

OverlayNewestEbuildsLast activity
haskell GitHub ↗ 0.8.10.7 2 2 d details ›

Versions & arches

VersionOverlay amd64 Committed
9999 LIVE ≈ haskell follows upstream — no keywords 6 mo view · download · history ↗
0.8.10.7 ≈ haskell amd64 testing 6 mo view · download · history ↗

Use flags of 0.8.10.7

  • deterministic-profiling Support building against GHC with <https://phabricator.haskell.org/D4388> backported
  • mirror-modules-helper Build the "mirror-modules" helper executable.
  • no-plugin Use the legacy executable for testing.