Writing static checks to an unsuspecting library with Liquid Haskell

(tweag.io) by ingve | Jun 15, 2026 | 0 comments on HN