## Auto-archived due to inactivity. ## Performant type-checking for python. - View it on GitHub