Links for dependent-types
dependent_types-0.0.0-py3-none-any.whl
dependent_types-0.0.1-py3-none-any.whl