Announcing Scrod, like Haddock but faster
Haskell Community [Unofficial]
March 5, 2026
This is very cool. Haddock currently has an open issue which makes it incompatible with Liquid Haskell. Make verification succeed with haddock enabled · Issue #2188 · ucsd-progsys/liquidhaskell
Does it happen to work with LH if I drop haddock comments?
Discussion in the ATmosphere