Skip to content

WIP: Add procedures are()#359

Open
c2main wants to merge 6 commits intotheory:mainfrom
c2main:add-procedures_are
Open

WIP: Add `procedures are()`#359
c2main wants to merge 6 commits intotheory:mainfrom
c2main:add-procedures_are

Commits

Commits on Aug 17, 2025