Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created August 29, 2026 13:10
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save mypy-play/7d73ef0f1775574806e1cb807ca6926d to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from pathlib import Path
def split_paths(paths: str) -> list[Path]:
paths: list[str] = paths.split(":")
return [Path(p) for p in paths]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment