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.

View original on GitHub ↗

This issue has 1 comment on GitHub. Read the full discussion on GitHub ↗