Repository navigation

PEP 742: TypeNarrower - #3649

Merged

JelleZijlstra merged 11 commits into

python:mainfrom

JelleZijlstra:pep742

Feb 11, 2024

Merged

PEP 742: TypeNarrower#3649
JelleZijlstra merged 11 commits into
python:mainfrom
JelleZijlstra:pep742

Commits on Feb 8, 2024
- PEP 742: TypeNarrower
  JelleZijlstra
  committed
  9385467
- Fix some lint
  JelleZijlstra
  committed
  ba979cd
- Acknowledgments
  JelleZijlstra
  committed
  ee2c797
Commits on Feb 9, 2024
- Remove headers
  JelleZijlstra
  committed
  0808dd0
- Merge branch 'main' into pep742
  JelleZijlstra
  authored
  4a5fb67
- Reject doing nothing
  JelleZijlstra
  committed
  a616482
- Improvements (thanks Guido and Carl)
  JelleZijlstra
  committed
  66271b2
- Another possibility
  JelleZijlstra
  committed
  fbf004c
- Fix attempted intersection spec
  JelleZijlstra
  committed
  0f43a1f
Commits on Feb 10, 2024
- Add section on subtyping
  JelleZijlstra
  committed
  766767f
- Apply suggestions from code review
  
  JelleZijlstra
  and
  hugovk
  authored
  79b9189