My intention is to reuse the rust type system where we can and yet keep the language small enough to be able to implement and verify non-trivial real world prog

My intention is to reuse the rust type system where we can and yet keep the language small enough to be able to implement and verify non-trivial real world programs. https://github.com/adsharma/py2many/blob/main/doc/langspec.md https://github.com/adsharma/py2many/blob/main/doc/langspec.m... https://github.com/adsharma/py2many/blob/main/CHANGELOG.md#rust https://github.com/adsharma/py2many/blob/main/CHANGELOG.md#r...