Skip to content

Commit ef60d1f

Browse files
committed
fix casing on header to match previous heading
1 parent b6df99b commit ef60d1f

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

content/future-python-type-checkers.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ tags = ["rust", "python", "type-checkers", "typing"]
99

1010
- [Introduction](#introduction)
1111
- [The Incumbents](#the-incumbents)
12-
- [The newcomers](#the-newcomers)
12+
- [The Newcomers](#the-newcomers)
1313
- [`ty` from Astral](#ty-from-astral)
1414
- [`pyrefly` from Meta](#pyrefly-from-meta)
1515
- [`zuban` from David Halter](#zuban-from-david-halter)
@@ -41,7 +41,7 @@ Before examining these new Rust-based tools, it's worth understanding the curren
4141

4242
**pytype** - Google's type checker that takes a unique approach by performing type inference on unannotated Python code. Unlike other checkers that primarily validate existing type annotations, pytype can infer types from runtime behaviour and generate stub files for gradual typing adoption. Written in Python, it's particularly useful for analysing legacy codebases without type hints. However, Google announced in 2024 that pytype is being deprecated and Python 3.12 will be the last supported version of Python.
4343

44-
## The newcomers
44+
## The Newcomers
4545

4646
### `ty` from Astral
4747

0 commit comments

Comments
 (0)