Skip to content

Add subsumption example to GHC-83865#562

Merged
Bodigrim merged 2 commits intomainfrom
subsumption
Oct 6, 2025
Merged

Add subsumption example to GHC-83865#562
Bodigrim merged 2 commits intomainfrom
subsumption

Commits

Commits on Oct 6, 2025