Repository navigation

Introduce the "bare"/"explicitly typed" Final terminology - #2370

Merged

srittau merged 5 commits into

python:mainfrom

srittau:final-terms

Oct 29, 2026

Merged

Introduce the "bare"/"explicitly typed" Final terminology#2370
srittau merged 5 commits into
python:mainfrom
srittau:final-terms

Commits on Oct 20, 2026
- Introduce the "bare"/"explictly typed" Final terminology
  srittau
  committed
  b1c4442
- Improvements
  srittau
  committed
  bddb733
- Apply batched suggestions from code review
  
  srittau
  and
  jorenham
  authored
  0ec8d8e
- Apply suggestion from code review
  srittau
  authored
  f652160
Commits on Oct 28, 2026
- Merge branch 'main' into final-terms
  srittau
  authored
  353530d