Analysis tools logo
0

Liquid Haskell

Liquid Haskell is a refinement type checker for Haskell programs.

Github:
    9929924401162012
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

  • 0brittany
  • 0HLint
  • 0pfff
  • 0Stan
  • 0Weeder