Add the initial draft for inference-using-bounds#4140

Merged

chloestefantsova merged 22 commits intomainfrom inference-using-bounds

Dec 3, 2024

+636-2

Commits on Oct 24, 2024

Commits on Oct 29, 2024

Commits on Nov 19, 2024

Update the document version to 1.0 as suggested in the review comments
chloestefantsova
committed
Rename 'feature-specification.md' into 'design-document.md' as suggested in the review comments
chloestefantsova
committed

Commits on Nov 26, 2024

Mention the formal update in design-document.md
chloestefantsova
committed
Add a clarifying paragraph to explain a subgraph in a diagram
chloestefantsova
committed

Commits on Nov 28, 2024

Rename "Proposed changes" to "Rules" and make the language more definitive
chloestefantsova
committed

Commits on Dec 3, 2024

Apply the suggestions from the review comments
chloestefantsova
committed