Geeks
andorp
/
DepPy
Imagine a Dependently Typed Python
Primary Language
Python
MIT License
MIT
DepPy GitHub
Markdown
Readme
2
Issues
2
Stargazers
4
Watchers
DepPy
Imagine a Dependently Typed Python