Skip to content

Add a TypelevelMTLSubmarine rule#247

Open
iRevive wants to merge 2 commits intotypelevel:mainfrom
iRevive:topic/mtl-submarine-rule
Open

Add a TypelevelMTLSubmarine rule#247
iRevive wants to merge 2 commits intotypelevel:mainfrom
iRevive:topic/mtl-submarine-rule

Commits

Commits on Oct 24, 2025