Writing static checks to an unsuspecting library with Liquid Haskell(tweag.io)
tweag.io
Writing static checks to an unsuspecting library with Liquid Haskell
https://www.tweag.io/blog/2026-06-11-diff-package-static-checks/
0 comments
—
https://www.tweag.io/blog/2026-06-11-diff-package-static-checks/
—