Compaction corruption patterns — structural invariants that Liquid Haskell could catch
Status Fixed / completed
Maintainer reply None cached
Activity 1 comment · opened Mar 2, 2026 · closed Mar 2, 2026
No description provided.
This issue has 1 comment on GitHub. Read the full discussion on GitHub ↗