Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created May 13, 2026 12:37
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save mypy-play/d77f961e91be0623f715cca98ac6d44f to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save mypy-play/d77f961e91be0623f715cca98ac6d44f to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
def hello(x: str) -> str:
return f"hello: {x}"
def add(a: float, b: float) -> int:
return int(a + b)
hello("james")
add(5.3, 50)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment