Analysis tools logo
9

Liquid Haskell

Liquid Haskell is a refinement type checker for Haskell programs.

Github:
    9649644291152012
Workflow integration:
  • Type: cli
    cli

Official Liquid Haskell Homepage

https://github.com/ucsd-progsys/liquidhaskell

BSD 3-Clause "New" or "Revised" License

Maintained

Alternative Tools

  • 4HLint
  • 2Stan
  • 2Weeder
  • 1brittany
  • 1pfff