DEV Community

loading...

Discussion on: Simple dependent types in Python

Collapse
sobolevn profile image
Nikita Sobolev Author

I have not tried this setup. Would be happy to try it out soon.