mypy-play/main.py

Created October 31, 2026 23:42

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/mypy-play/d8a0de6fa854b5da2810fd5fca2cc19b.js"></script>
Save mypy-play/d8a0de6fa854b5da2810fd5fca2cc19b to your computer and use it in GitHub Desktop.

Download ZIP

Shared via mypy Playground

Raw

main.py

	age: int = 25
	nom: str = "Mehdi"
	moyenne: float = 15.5

	age = "vingt-cinq"
	nom = 42
	moyenne = "excellent"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment