8000 Shared via mypy Playground · GitHub
[go: up one dir, main page]
Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created December 8, 2024 21:36
Show Gist options
  • Save mypy-play/bd1020ddf3a092ef954c003141dc0504 to your computer and use it in GitHub Desktop.
Save mypy-play/bd1020ddf3a092ef954c003141dc0504 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from __future__ import annotations
import sys
if sys.platform in {'win32', 'cygwin'}:
major, minor, build, _, _ = sys.getwindowsversion()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
0