Compaction corruption patterns — structural invariants that Liquid Haskell could catch
Resolved 💬 1 comment Opened Mar 2, 2026 by zarak Closed Mar 2, 2026
No description provided.
This issue has 1 comment on GitHub. Read the full discussion on GitHub ↗