search

caterinaurban / Typpete

35 stars 6 forks source link

Function overloading #56

Open adsharma opened 3 years ago

adsharma commented 3 years ago

https://mypy.readthedocs.io/en/stable/more_types.html#function-overloading

was introduced in py38, a couple of years ago.

Looks like it could help solvers like typpete.