Liquid Haskell

ucsd-progsys.github.iosite

Liquid Haskell is a refinement type checker for Haskell programs.

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲

   Cloud Haskell haskell-distributed.github.io

   site topic programming link ↗
   site
2. ▲

   HLint github.com

   HLint is a tool for suggesting possible improvements to Haskell code.

   tool topic programming link ↗
   
3. ▲

   Try Haskell tryhaskell.org

   site topic programming link ↗
   site
4. ▲

   London Haskell youtube.com

   channel topic programming link ↗
   channel
5. ▲

   Haskell haskell.org

   site topic programming link ↗
   site
6. ▲

   The Haskell Programming Language wiki.haskell.org

   site topic programming link ↗
   site

Static Analysis & Code Quality › Programming Languages: “Liquid Haskell is a refinement type checker for Haskell programs.”