https://pypi.org/project/refined-types/ Recent updates to the Python Package Index for refined-types en https://pypi.org/project/refined-types/0.1.0/ Annotated-based refinement types for Python — with first-class Pydantic v2 integration. A practical projection of Σ-types into a language without dependent types. ivan.zakutnii@weareocta.com Fri, 29 May 2026 10:15:14 GMT https://pypi.org/project/refined-types/0.1.0a1/ Annotated-based refinement types for Python — with first-class Pydantic v2 integration. A practical projection of Σ-types into a language without dependent types. ivan.zakutnii@weareocta.com Tue, 26 May 2026 09:28:40 GMT https://pypi.org/project/refined-types/0.0.1/ Annotated-based refinement types for Python — with first-class Pydantic v2 integration. A practical projection of Σ-types into a language without dependent types. ivan.zakutnii@weareocta.com Mon, 25 May 2026 17:49:13 GMT