GitHub - marklemay/DependentlyTypedPython: a really jenky implementation of dependent types in (a very small subset of) python

marklemay / DependentlyTypedPython Public

a really jenky implementation of dependent types in (a very small subset of) python

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
.idea		.idea
alternatvesyntax.py		alternatvesyntax.py
demo.py		demo.py
knownbugs.py		knownbugs.py
main.py		main.py
tests.py		tests.py

About

a really jenky implementation of dependent types in (a very small subset of) python

No releases published

No packages published