Skip to content

Reserved interface descriptions state their contracts directly - #582

Open
Marius Storhaug (MariusStorhaug) wants to merge 7 commits into
mainfrom
interface-description-prose
Open

Marius Storhaug (MariusStorhaug) wants to merge 7 commits into
mainfrom
interface-description-prose

Commits

  1. Commits on Nov 4, 2026