[Builtin] Casing on `Data.Constr`#7315

Open

SeungheonOh wants to merge 5 commits intomasterfrom

sho/data-casing

Commits on Sep 3, 2025

Add `Data` casing specialized for matching `Constr`
SeungheonOh
committed

Commits on Sep 5, 2025

Make typechecker work
SeungheonOh
committed

Commits on Sep 6, 2025

Make Plinth use `Data.Constr` casing. Broken WIP
SeungheonOh
committed

Commits on Sep 8, 2025