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