An analysis tool for Python that blurs the line between testing and type systems.
Primary LanguagePythonMIT LicenseMIT
No one’s watching this repository yet.